[/] [trunk/] [tests/] [test002.xml] - Rev 54

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
54 Test002 was nondeterministic.
Test007 fell prey to Uppaal Bug #442		 tbourke 1767d 05h 37m /trunk/tests/test002.xml
52 Improve verification by Uppaal. tbourke 1767d 11h 03m /trunk/tests/test002.xml
50 Add a regression test framework. tbourke 1768d 07h 37m /trunk/tests/test002.xml