Log of /trunk/eweasel/tests/incr325

---

Revision 78563 - Directory Listing
Added Thu May 7 21:15:46 2009 UTC (10 years, 7 months ago) by dhollen

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.