Log of /trunk/eweasel/tests/assert006

---

Revision 103061 - Directory Listing
Modified Sun Apr 7 06:55:59 2019 UTC (8 months ago) by alexk

Updated ECFs to enable class removal optimization when a test involves finalization.
Updated source code to use contemporary routine type declarations.

---

Revision 98912 - Directory Listing
Modified Wed Jun 15 12:18:40 2016 UTC (3 years, 5 months ago) by manus

To avoid manually fixing the C compiler configuration file, all Ace files are now compiled in console mode.

---

Revision 89316 - Directory Listing
Added Tue Aug 7 18:26:55 2012 UTC (7 years, 4 months ago) by manus

New test (not yet failing though) showing a bug where preconditions will not be checked after checking an invariant.