ViewVC logotype

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

View Directory Listing Directory Listing

Sticky Revision:

Revision 87357 - Directory Listing
Modified Wed Sep 28 22:18:32 2011 UTC (8 years, 2 months ago) by jasonw
Copied from: trunk/eweasel/tests/assert004 revision 87356
<<Merged from trunk#87356.>>

Revision 87332 - Directory Listing
Added Mon Sep 26 14:00:41 2011 UTC (8 years, 2 months ago) by alexk
Original Path: trunk/eweasel/tests/assert004
Added a test to check that a false postcondition triggers an exception regardless of assertion settings because the compiler relies on this behaviour.

  ViewVC Help
Powered by ViewVC 1.1.23