[/] [trunk/] [tests/] - Rev 68

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 1731d 21h 27m /trunk/tests/
58 Fix up testing to handle urpal failures. tbourke 1758d 06h 03m /trunk/tests/
56 Tests for synchronisations on broadcast channels. tbourke 1758d 07h 05m /trunk/tests/
54 Test002 was nondeterministic.
Test007 fell prey to Uppaal Bug #442		 tbourke 1760d 03h 33m /trunk/tests/
53 Improve verification by Uppaal. tbourke 1760d 08h 51m /trunk/tests/
52 Improve verification by Uppaal. tbourke 1760d 08h 59m /trunk/tests/
51 Incorporate a sanity check via verification in Uppaal. tbourke 1761d 01h 08m /trunk/tests/
50 Add a regression test framework. tbourke 1761d 05h 33m /trunk/tests/