[/] [trunk/] [tests/] - Rev 62

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
62 Add copyright information to all files.
Add a Makefile for building dist files.		 tbourke 1738d 13h 57m /trunk/tests/
58 Fix up testing to handle urpal failures. tbourke 1764d 22h 34m /trunk/tests/
56 Tests for synchronisations on broadcast channels. tbourke 1764d 23h 35m /trunk/tests/
54 Test002 was nondeterministic.
Test007 fell prey to Uppaal Bug #442		 tbourke 1766d 20h 03m /trunk/tests/
53 Improve verification by Uppaal. tbourke 1767d 01h 22m /trunk/tests/
52 Improve verification by Uppaal. tbourke 1767d 01h 29m /trunk/tests/
51 Incorporate a sanity check via verification in Uppaal. tbourke 1767d 17h 38m /trunk/tests/
50 Add a regression test framework. tbourke 1767d 22h 03m /trunk/tests/