diff options
| author |  qadeer <qadeer@microsoft.com> | 2012-04-28 11:12:33 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2012-04-28 11:12:33 -0700 |
| commit | 1e31977bf998d3b0f466858c48afc54b0599e9b3 (patch) | |
| tree | 323de8c5c8f4f5a2d60b70dd95bfb92a4ab9c94b /Test | |
| parent | 8522c867c262c0972873e6ee69f2ae8c914cb2e5 (diff) | |
removed lazy inlining
Diffstat (limited to 'Test')
| -rw-r--r-- | Test/alltests.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Test/alltests.txt b/Test/alltests.txt index 7076a370..0236e694 100644 --- a/Test/alltests.txt +++ b/Test/alltests.txt @@ -24,7 +24,6 @@ houdini Use Test for Houdini decision procedure datatypes SoonToBeIncluded Test for datatypes
generalizedarray Use Test for generalized array theory
livevars Use STORM benchmarks for testing correctness of live variable analysis
-lazyinline Postponed Lazy inlining benchmarks
stratifiedinline Use Stratified inlining benchmarks
extractloops Use Extract loops benchmarks
havoc0 Use HAVOC-generated bpl files
|