diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-11-20 18:36:42 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-11-20 18:36:42 -0800 |
| commit | 092c2aa86a8141a74cabb42b33a1234ee9681300 (patch) | |
| tree | 73d059c23b9d864068b7e3496791b4f2f1dee947 /Test/alltests.txt | |
| parent | 04990f42dc81b2b46ceb81210278371c3d744a4f (diff) | |
Disengaged Dafny tests
Diffstat (limited to 'Test/alltests.txt')
| -rw-r--r-- | Test/alltests.txt | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/Test/alltests.txt b/Test/alltests.txt index 1cd0da4f..51334da8 100644 --- a/Test/alltests.txt +++ b/Test/alltests.txt @@ -27,11 +27,11 @@ livevars Use STORM benchmarks for testing correctness of live variabl stratifiedinline Use Stratified inlining benchmarks
extractloops Use Extract loops benchmarks
havoc0 Use HAVOC-generated bpl files
-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 Dafny Dafny functionality tests
+dafny1 Dafny Various Dafny examples
+dafny2 Dafny More Dafny examples
+VSI-Benchmarks Dafny Solutions to Verified Software Initiative verification challenges
+vacid0 Dafny Dafny attempts to VACID Edition 0 benchmarks
+vstte2012 Dafny Dafny solutions for the VSTTE 2012 program verification competition
+VSComp2010 Dafny Dafny solutions to VSComp (verified software competition) problems
AbsHoudini Postponed Test for abstract houdini
|