diff options
| author |  rustanleino <unknown> | 2010-06-08 18:05:23 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-06-08 18:05:23 +0000 |
| commit | 24ceefe6fac22e6361b1dc73b4bc878b1ba9aad5 (patch) | |
| tree | 8d063d83ed4cdfcd444984752ecec10813cbaabf /Test/alltests.txt | |
| parent | 0cddfa101560a1c2ca49729288766687361f2785 (diff) | |
Boogie:
* Look for Z3 versions up to 2.15 (but did not implement a better algorithm for it).
* Added prover-path output as part of /trace flag (that probably isn't the best command-line option for it).
Dafny:
* Split off some tests from Test/dafny0 into Test/dafny1.
* Added Test/dafny1/UltraFilter.dfy.
Diffstat (limited to 'Test/alltests.txt')
| -rw-r--r-- | Test/alltests.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Test/alltests.txt b/Test/alltests.txt index a8ad52f2..e5f91e61 100644 --- a/Test/alltests.txt +++ b/Test/alltests.txt @@ -18,7 +18,8 @@ test16 Use Tests methodology of visible-state semantics and loop un test17 Postponed Tests inference of parameterized contracts
z3api Postponed Test for Z3 Managed .NET API prover
houdini Postponed Test for Houdini decision procedure
-dafny0 Use Dafny programs
+dafny0 Use Dafny functionality tests
+dafny1 Use Various Dafny examples
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
|