diff options
| author |  Rustan Leino <unknown> | 2013-03-05 16:58:16 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-03-05 16:58:16 -0800 |
| commit | c819fabbb8da669952cb7e2e5937c73ff6dcfabe (patch) | |
| tree | fdfa5ecd7ef81709608d5dcb5ba232611c1b073f /Test/alltests.txt | |
| parent | f82dab21f1240fb3f8d67a880f4f93017d85c345 (diff) | |
Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codeplex repositories.
Diffstat (limited to 'Test/alltests.txt')
| -rw-r--r-- | Test/alltests.txt | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/Test/alltests.txt b/Test/alltests.txt index 51334da8..ebe396e9 100644 --- a/Test/alltests.txt +++ b/Test/alltests.txt @@ -27,11 +27,4 @@ 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 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
|