diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2014-05-28 16:34:44 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-05-28 16:34:44 +0100 |
| commit | 7606336bb8756b10d95ba8058711fa2810948688 (patch) | |
| tree | 3af3abc2a19914330a68b53431a93331d7fb76aa /Test/alltests.txt | |
| parent | 08e1dc93d185e221b65bd59ccc167526937ee4d4 (diff) | |
Remove a few other old test infrastructure files. They
probably aren't very useful anymore now that the old
test infrastructure is gone.
Diffstat (limited to 'Test/alltests.txt')
| -rw-r--r-- | Test/alltests.txt | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/Test/alltests.txt b/Test/alltests.txt deleted file mode 100644 index 47ce2611..00000000 --- a/Test/alltests.txt +++ /dev/null @@ -1,34 +0,0 @@ -sanity Use Build stability test - makes sure the current build doesn't encounter a runtime error (a smoke test)
-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 error messages for failing asserts vs. loop invariants
-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 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 Use Test for Houdini decision procedure
-datatypes Use Test for datatypes
-generalizedarray Use Test for generalized array theory
-livevars Use STORM benchmarks for testing correctness of live variable analysis
-stratifiedinline Use Stratified inlining benchmarks
-extractloops Use Extract loops benchmarks
-havoc0 Use HAVOC-generated bpl files
-AbsHoudini Postponed Test for abstract houdini
-snapshots Use Tests for program snapshot verification
-symdiff Use Tests for symdiff
-linear Use Tests for linear type checking
-og Use Tests for concurrency
|