diff options
| author |  mikebarnett <unknown> | 2009-07-15 21:03:41 +0000 |
|---|---|---|
| committer | mikebarnett <unknown> | 2009-07-15 21:03:41 +0000 |
| commit | ce1c2de044c91624370411e23acab13b0381949b (patch) | |
| tree | 592539996fe08050ead5ee210c973801611dde40 /Test/alltests.txt | |
Initial set of files.
Diffstat (limited to 'Test/alltests.txt')
| -rw-r--r-- | Test/alltests.txt | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/Test/alltests.txt b/Test/alltests.txt new file mode 100644 index 00000000..2a7e11bd --- /dev/null +++ b/Test/alltests.txt @@ -0,0 +1,22 @@ +test0 Use Name resolution tests
+test1 Use Typechecking tests
+test2 Use VC generation
+test7 Use Some tests for VCVariety.BlockNested
+test20 Use Types introduced in Boogie2
+test21 Use Verify Boogie 2 programs
+aitest0 Use Constant propagation test
+aitest1 Use Linear ineqality test
+aitest9 Use Test for the abstract domain of intervals
+lock Use SLAM example
+test13 Use ExistsUnique
+inline Use Procedure inlining
+textbook Use Some textbook examples
+test15 Use Benchmarks for error messages
+bitvectors Use Smoke tests for bitvectors
+smoke Use Soundness smoke testing
+test16 Use Tests methodology of visible-state semantics and loop unrolling
+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
+havoc0 Use HAVOC-generated bpl files
|