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

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 1793d 01h 54m /trunk/tests/test002.xml
52 Improve verification by Uppaal. tbourke 1793d 07h 20m /trunk/tests/test002.xml
50 Add a regression test framework. tbourke 1794d 03h 54m /trunk/tests/test002.xml