Re: DbC of GEC

On 9/27/2010 9:59 AM, 政昌 wrote:
> Hi Eric,
>
> I've a project implemented in SmartEiffel which I've ported to GEC. I'm still hesitant about removing SmartEiffel from my tool chain because GEC hasn't implemented DbC yet, which is really helpful for debugging.
>
> Have you any plan to implement DbC for GEC? What impedes the progress in this direction?
>
> I cannot use EiffelStudio's DbC, the compiled program doesn't run.

The reason why DbC is not implemented in gec yet is mostly
lack of time. Typically, I develop and debug with EiffelStudio
and I finalize my program with gec. It's too bad that your
program does not run with EiffelStudio.

-- 
Eric Bezault
mailto:ericb-D6Qt/9opevxWk0Htik3J/[email protected]
http://www.gobosoft.com


------------------------------------

To Post a message, send it to:   [email protected]
To Unsubscribe, send a blank message to: [email protected]! Groups Links

<*> To visit your group on the web, go to:
    http://groups.yahoo.com/group/gobo-eiffel/

<*> Your email settings:
    Individual Email | Traditional

<*> To change settings online go to:
    http://groups.yahoo.com/group/gobo-eiffel/join
    (Yahoo! ID required)

<*> To change settings via email:
    [email protected] 
    [email protected]

<*> To unsubscribe from this group, send an email to:
    [email protected]

<*> Your use of Yahoo! Groups is subject to:
    http://docs.yahoo.com/info/terms/