ViewVC logotype

Contents of /trunk/eweasel/tests/assert006/output

Parent Directory Parent Directory | Revision Log Revision Log

Revision 89316 - (show annotations)
Tue Aug 7 18:26:55 2012 UTC (7 years, 4 months ago) by manus
File size: 61 byte(s)
New test (not yet failing though) showing a bug where preconditions will not be checked after checking an invariant.

1 Got the expected precondition violation.
2 Execution completed


Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23