Log of /branches/eth/eve/eweasel/tests/incr325

---

Revision 83441 - Directory Listing
Modified Sat Jun 5 13:52:53 2010 UTC (9 years, 6 months ago) by jasonw

Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.

---

Revision 83331 - Directory Listing
Modified Wed May 26 18:49:35 2010 UTC (9 years, 6 months ago) by jasonw
Original Path: branches/eth/eve3/eweasel/tests/incr325

<<Breanched from trunk@83330>> Created a branch to upgrade Eiffel Transform library to trunk.

---

Revision 78563 - Directory Listing
Added Thu May 7 21:15:46 2009 UTC (10 years, 7 months ago) by dhollen
Original Path: trunk/eweasel/tests/incr325

Added eweasel test incr325 for bug #15241, where melting a trivial system,
then finalizing it and keeping assertions, then freezing it generates C code
that won't compile due to a syntax error.  Note that this test passes for
reasons I don't understand but the bug can be reproduced by manually doing 
the steps indicated in the tcf in one estudio session.