Re: DbC of GEC

Hi Jocelyn,

I've tried what you suggested using 'execute_without_collection'. The program still failed due to some memory problem (Too much memory allocated or something like that). I've no time to investigate further. But sure I'll try to solve it again when I find time.

Thanks.

Cheng-Chang

--- In [email protected], Jocelyn Fiat <eiffel@...> wrote:
>
> 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@...> wrote:
> 
> > On 9/27/2010 9:59 AM, &#65533;¿æ&#65533; 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.
>



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

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/