diff options
author | 2011-02-23 21:26:43 +0000 | |
---|---|---|
committer | 2011-02-23 21:26:43 +0000 | |
commit | 398377309c2d242c1ecac7a3efaa981ab892ae30 (patch) | |
tree | 6eabb880cf5693bb49284c7c9c29e09c16382a54 /Test/alltests.txt | |
parent | e592f926a217885ea626685aca57a09570904898 (diff) |
Add tests for -z3multipleErrors from Shuvendu.
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 48f132de..b2d093cc 100644 --- a/Test/alltests.txt +++ b/Test/alltests.txt @@ -17,6 +17,7 @@ bitvectors Use Smoke tests for bitvectors smoke Use Soundness smoke testing
test16 Use Tests loop unrolling
codeexpr Use Tests code expressions
+prover Use Tests checking various prover options
test17 Postponed Tests inference of parameterized contracts
z3api Postponed Test for Z3 Managed .NET API prover
houdini Postponed Test for Houdini decision procedure
|