Re: DbC of GEC

Hi,

Just for curiosity, what kind of issue you get with EiffelStudio?
Is it about Garbage Collection? I remember answering you how to disable GC
with EiffelStudio, did it helped?
Maybe if you provide EiffelSoftware with reproducible example, you could get
more efficient help on this.

-- Jocelyn


On Mon, Sep 27, 2010 at 10:38 AM, Eric Bezault <ericb-D6Qt/9opevxWk0Htik3J/[email protected]> wrote:

> 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
>
>
>
>


[Non-text portions of this message have been removed]



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

To Post a message, send it to:   [email protected]
To Unsubscribe, send a blank message to: gobo-eiffel-unsubscribe-B11MqFFcr06IwRZHo2/[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/