ViewVC logotype

Revision 89316

Jump to revision: Previous Next
Author: manus
Date: Tue Aug 7 18:26:55 2012 UTC (7 years, 3 months ago)
Changed paths: 7
Log Message:
New test (not yet failing though) showing a bug where preconditions will not be checked after checking an invariant.

Changed paths

Path Details
Directorytrunk/eweasel/control/catalog modified , text changed
Directorytrunk/eweasel/tests/assert006/ added
Directorytrunk/eweasel/tests/assert006/Ace added
Directorytrunk/eweasel/tests/assert006/a.e added
Directorytrunk/eweasel/tests/assert006/output added
Directorytrunk/eweasel/tests/assert006/tcf added
Directorytrunk/eweasel/tests/assert006/test.e added

  ViewVC Help
Powered by ViewVC 1.1.23