diff options
author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-12 19:00:08 +0000 |
---|---|---|
committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-20 13:21:31 +0000 |
commit | 9555ad14b188f66eff900df79840d8995af13ff2 (patch) | |
tree | 9ffae42f1960f30f268096e71455c1092100e2f8 /unittests/Ref | |
parent | 193733044666af86e295c1f9957dbd21caa5612b (diff) | |
download | klee-9555ad14b188f66eff900df79840d8995af13ff2.tar.gz |
Fixed Expr/Parser/ConstantFolding.pc test for llvm-lit (this probably
breaks DejaGNU tests). The issue is that in Tcl the quote needs escaping but for llvm-lit we don't need to do this. We should move to using the LLVM FileCheck tool instead of grep!
Diffstat (limited to 'unittests/Ref')
0 files changed, 0 insertions, 0 deletions