[/] - Rev 54

Last modification (Rev 54, 2008-07-23 05:14:25 GMT)

Author:
tbourke
Log message:
Test002 was nondeterministic.
Test007 fell prey to Uppaal Bug #442
Path
/trunk/tests/runtest.sh
/trunk/tests/test002.xml
/trunk/tests/test007.xml