diff options
author | Unknown <akashl@MSRI-Akashlal.fareast.corp.microsoft.com> | 2011-10-19 23:40:36 +0530 |
---|---|---|
committer | Unknown <akashl@MSRI-Akashlal.fareast.corp.microsoft.com> | 2011-10-19 23:40:36 +0530 |
commit | f33e5329fc935e1d3ef3c1ef53bb4c09c96b1e23 (patch) | |
tree | f6df4d7c7371e7b9a7cf1f6fef9f70baf4ada255 /Test | |
parent | 9c387c5ff56b6a54f7090d0a82e1e21a5631ff3a (diff) |
Added a push+pop+unsat-core interface to SMTLib (for stratified inlining only)
Diffstat (limited to 'Test')
-rw-r--r-- | Test/alltests.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/alltests.txt b/Test/alltests.txt index e046dd06..e50d0a61 100644 --- a/Test/alltests.txt +++ b/Test/alltests.txt @@ -28,7 +28,7 @@ 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
-lazyinline Use Lazy inlining benchmarks
+lazyinline Postponed Lazy inlining benchmarks
stratifiedinline Use Stratified inlining benchmarks
extractloops Use Extract loops benchmarks
VSComp2010 Use Dafny solutions to VSComp (verified software competition) problems
|