about summary refs log tree commit diff homepage
path: root/test/Concrete/ackermann.c
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2014-10-09 11:17:55 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2014-10-09 11:17:55 +0100
commit492565b392831866fefef748917705a824f6f29f (patch)
tree7aa85a5e444ddfe0ec1c251a6ab0b61517972e34 /test/Concrete/ackermann.c
parent0c8c812db1d331f1e49e27ccd35f1288e58d97e6 (diff)
parent86f5f5edbdd24b793e1f9eff4b338d867f6dc97f (diff)
downloadklee-492565b392831866fefef748917705a824f6f29f.tar.gz
Merge pull request #166 from willemp/willem/klee_opts_to_concrete_tests
Fixes support for passing arguments to klee in the ConcreteTests.
Diffstat (limited to 'test/Concrete/ackermann.c')
-rw-r--r--test/Concrete/ackermann.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Concrete/ackermann.c b/test/Concrete/ackermann.c
index b084a99f..4b322558 100644
--- a/test/Concrete/ackermann.c
+++ b/test/Concrete/ackermann.c
@@ -1,4 +1,4 @@
-// RUN: %S/ConcreteTest.py --klee=%klee --lli=%lli %s
+// RUN: %S/ConcreteTest.py --klee='%klee' --lli=%lli %s
 
 #include <stdio.h>