/[eiffelstudio]/trunk/eweasel/tests/exec325
ViewVC logotype

Log of /trunk/eweasel/tests/exec325

View Directory Listing Directory Listing


Sticky Revision:

Revision 83253 - Directory Listing
Modified Thu May 20 22:32:44 2010 UTC (9 years, 6 months ago) by manus
Forgot to keep the assertions in final mode to verify that the output was indeed correct.


Revision 83248 - Directory Listing
Modified Thu May 20 20:18:25 2010 UTC (9 years, 6 months ago) by manus
Fixed typo in test.


Revision 83247 - Directory Listing
Modified Thu May 20 20:15:20 2010 UTC (9 years, 6 months ago) by manus
Forgot to enabled postcondition checking. Added checking for precondition and invariant as well.


Revision 83246 - Directory Listing
Added Thu May 20 20:09:12 2010 UTC (9 years, 6 months ago) by manus
Added a new test showing a bug in the code generation of inherited assertions using agents.


  ViewVC Help
Powered by ViewVC 1.1.23