diff options
author | 2013-06-02 18:16:30 -0700 | |
---|---|---|
committer | 2013-06-02 18:16:30 -0700 | |
commit | 734ee394898d9e37c784f32e0d105678f82d981a (patch) | |
tree | 16a650a0da1d5e03f7675bfc930669e708f31342 /Test/alltests.txt | |
parent | 5aaf3b555f7ffd81468d95f1d543f5f1212f6643 (diff) |
Added a feature for verifying several program snapshots (incl. result caching and prioritization).
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 ebe396e9..c0eec7ad 100644 --- a/Test/alltests.txt +++ b/Test/alltests.txt @@ -28,3 +28,4 @@ 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
|