diff options
author | Timotej Kapus <tk1713@ic.ac.uk> | 2018-06-21 17:01:02 +0100 |
---|---|---|
committer | MartinNowack <martin.nowack@gmail.com> | 2018-06-29 09:56:11 +0100 |
commit | 296a54ec9a2e753a1f5d1c426fb7c5e7575e9dcb (patch) | |
tree | 2470f0dce74c19b2118fcfe973947234e51cf060 /test/Feature | |
parent | d2fbdf74493d69e73fbfaedc0d59e593dfd7c69d (diff) | |
download | klee-296a54ec9a2e753a1f5d1c426fb7c5e7575e9dcb.tar.gz |
Make ConstantExpr hashing function faster and modify affected test
Diffstat (limited to 'test/Feature')
-rw-r--r-- | test/Feature/DeterministicSwitch.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/Feature/DeterministicSwitch.c b/test/Feature/DeterministicSwitch.c index b6c186ff..fc83063b 100644 --- a/test/Feature/DeterministicSwitch.c +++ b/test/Feature/DeterministicSwitch.c @@ -27,11 +27,11 @@ int main(int argc, char **argv) { } // CHECK-DFS: default - // CHECK-DFS: space // CHECK-DFS: tab + // CHECK-DFS: space - // CHECK-BFS: tab // CHECK-BFS: space + // CHECK-BFS: tab // CHECK-BFS: default return 0; |