diff options
author | 2010-05-21 18:38:47 +0000 | |
---|---|---|
committer | 2010-05-21 18:38:47 +0000 | |
commit | 2fc9a47b200589fae14f698e7546553a0b31aec2 (patch) | |
tree | ae0fd61bcd66c4f92833c33f82de518a718bfb7c /Test/alltests.txt | |
parent | 9657b7042a5a55fe96bc9b7560c473876d7efa60 (diff) |
Dafny:
* Added arrays
* Beefed up set axiomatization to know more things about set displays
* Added a simple heuristic that can infer some simple decreases clauses for loops
* Added Dafny solutions to a couple of VACID benchmarks
Diffstat (limited to 'Test/alltests.txt')
-rw-r--r-- | Test/alltests.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Test/alltests.txt b/Test/alltests.txt index 2648581c..6d44550e 100644 --- a/Test/alltests.txt +++ b/Test/alltests.txt @@ -21,4 +21,5 @@ houdini Postponed Test for Houdini decision procedure dafny0 Use Dafny programs
havoc0 Use HAVOC-generated bpl files
VSI-Benchmarks Use Solutions to Verified Software Initiative verification challenges
+vacid0 Use Dafny attempts to VACID Edition 0 benchmarks
livevars Use STORM benchmarks for testing correctness of live variable analysis
|