about summary refs log tree commit diff homepage
path: root/test/ArrayOpt
diff options
context:
space:
mode:
authorMartin Nowack <m.nowack@imperial.ac.uk>2020-01-09 09:52:57 +0000
committerCristian Cadar <c.cadar@imperial.ac.uk>2020-01-10 13:23:35 +0000
commit2b1abab826bbfb20b2f86cbf7f15c98b13439299 (patch)
tree040340381dcf99770cf2c4dedb608cc5a737d448 /test/ArrayOpt
parent861ae4c50d35f5bbd1e972e303957aa1216c8ed5 (diff)
downloadklee-2b1abab826bbfb20b2f86cbf7f15c98b13439299.tar.gz
Fix update_list_order.c
Diffstat (limited to 'test/ArrayOpt')
-rw-r--r--test/ArrayOpt/test_update_list_order.c11
1 files changed, 4 insertions, 7 deletions
diff --git a/test/ArrayOpt/test_update_list_order.c b/test/ArrayOpt/test_update_list_order.c
index 1c6ed951..979a5697 100644
--- a/test/ArrayOpt/test_update_list_order.c
+++ b/test/ArrayOpt/test_update_list_order.c
@@ -1,12 +1,9 @@
 // RUN: %clang %s -emit-llvm %O0opt -c -o %t.bc
 // RUN: rm -rf %t.klee-out
 // RUN: %klee --optimize-array=value --use-query-log=all:kquery --write-kqueries --output-dir=%t.klee-out %t.bc > %t.log 2>&1
-// RUN: FileCheck %s -input-file=%t.log -check-prefix=CHECK-OPT_V
 // RUN: FileCheck %s -input-file=%t.log
-// RUN: rm -rf %t.klee-out
 
-// CHECK-OPT_V: KLEE: WARNING: OPT_V: successful
-// CHECK-CONST_ARR: const_arr
+// CHECK-DAG: KLEE: WARNING: OPT_V: successful
 
 #include "klee/klee.h"
 #include <assert.h>
@@ -28,9 +25,9 @@ int main() {
   array[2] = 3;
   assert(updateListBreaker != 3 && "keep updateListBreak alive");
 
-  // CHECK: KLEE: done: completed paths = 2
-  // CHECK: No
-  // CHECK-NEXT: Yes
+  // CHECK-DAG: KLEE: done: completed paths = 2
+  // CHECK-DAG: No
+  // CHECK-DAG: Yes
   if (array[idx] == 3)
     printf("Yes\n");
   else