diff options
| author |  rustanleino <unknown> | 2010-05-21 18:38:47 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 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
|