From c06cc05adc7eac45ff16d7e488576d479811d7a8 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Sat, 22 Jul 2017 23:09:44 +0100 Subject: Moved klee_choose from klee-libc to KLEE intrinsics. --- test/Replay/libkleeruntest/replay_invalid_klee_choose.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/Replay') diff --git a/test/Replay/libkleeruntest/replay_invalid_klee_choose.c b/test/Replay/libkleeruntest/replay_invalid_klee_choose.c index 62cdcec3..c64f913d 100644 --- a/test/Replay/libkleeruntest/replay_invalid_klee_choose.c +++ b/test/Replay/libkleeruntest/replay_invalid_klee_choose.c @@ -1,6 +1,6 @@ // RUN: %llvmgcc -DBOUND_VALUE=32 -DFORCE_VALUE=20 %s -emit-llvm -g -O0 -c -o %t.bc // RUN: rm -rf %t.klee-out -// RUN: %klee --output-dir=%t.klee-out --libc=klee --search=dfs %t.bc +// RUN: %klee --output-dir=%t.klee-out --search=dfs %t.bc // RUN: test -f %t.klee-out/test000001.ktest // RUN: test ! -f %t.klee-out/test000002.ktest -- cgit 1.4.1