about summary refs log tree commit diff homepage
path: root/test/Concrete/ICmp.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/Concrete/ICmp.ll')
-rw-r--r--test/Concrete/ICmp.ll2
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Concrete/ICmp.ll b/test/Concrete/ICmp.ll
index 649ea4a8..352aa030 100644
--- a/test/Concrete/ICmp.ll
+++ b/test/Concrete/ICmp.ll
@@ -1,4 +1,4 @@
-; RUN: %S/ConcreteTest.py --klee=%klee --lli=%lli %s
+; RUN: %S/ConcreteTest.py --klee='%klee' --lli=%lli %s
 
 declare void @print_i32(i32)