diff options
| author |  wuestholz <unknown> | 2013-06-02 18:16:30 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 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
|