diff options
| author |  chmaria <unknown> | 2012-06-05 11:26:39 +0200 |
|---|---|---|
| committer | chmaria <unknown> | 2012-06-05 11:26:39 +0200 |
| commit | c2178326f725a39d825b4b2d25e0a30519d7055e (patch) | |
| tree | ed29c11a98bc11064d6160c265e28ada22219a53 /Test/dafnytests.txt | |
| parent | 8f7fdc817875de6ba2a68f853c970b7d841d38e2 (diff) | |
Dafny: Added runtime checking tests.
Diffstat (limited to 'Test/dafnytests.txt')
| -rw-r--r-- | Test/dafnytests.txt | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/Test/dafnytests.txt b/Test/dafnytests.txt index 2b457c91..ebb51203 100644 --- a/Test/dafnytests.txt +++ b/Test/dafnytests.txt @@ -1,7 +1,8 @@ -dafny0 Use Dafny functionality tests
-dafny1 Use Various Dafny examples
-dafny2 Use More Dafny examples
-VSI-Benchmarks Use Solutions to Verified Software Initiative verification challenges
-vacid0 Use Dafny attempts to VACID Edition 0 benchmarks
-vstte2012 Use Dafny solutions for the VSTTE 2012 program verification competition
-VSComp2010 Use Dafny solutions to VSComp (verified software competition) problems
+dafny0 Use Dafny functionality tests
+dafny1 Use Various Dafny examples
+dafny2 Use More Dafny examples
+dafnyRuntimeChecking Use Dafny runtime checking tests
+VSI-Benchmarks Use Solutions to Verified Software Initiative verification challenges
+vacid0 Use Dafny attempts to VACID Edition 0 benchmarks
+vstte2012 Use Dafny solutions for the VSTTE 2012 program verification competition
+VSComp2010 Use Dafny solutions to VSComp (verified software competition) problems
|