[ci]

UnitTestBot · Nov 5, 2023 · edf52bb · edf52bb
1 parent 16d571b
commit edf52bb
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/scripts/replay.sh b/scripts/replay.sh
@@ -10,5 +10,5 @@
 # ===----------------------------------------------------------------------===##
 
 for f in `find $1 -name "*.ktest" -type f`; do
-  KLEE_RUN_TEST_ERRORS_NON_FATAL=1 KTEST_FILE=$f $2
+  KLEE_RUN_TEST_ERRORS_NON_FATAL=2 KTEST_FILE=$f $2
 done
diff --git a/test/Industry/pals_lcr.3.ufo.UNBOUNDED.pals+Problem12_label00.c b/test/Industry/pals_lcr.3.ufo.UNBOUNDED.pals+Problem12_label00.c
@@ -7,7 +7,7 @@
 // RUN: %replay %t.klee-out %t_runner
 // RUN: gcov -b %t_runner-%basename_t > %t.cov.log
 
-// RUN: FileCheck --input-file=%t.cov.log --check-prefix=CHECK --dump-input-filter=all %s
+// RUN: FileCheck --input-file=%t.cov.log --check-prefix=CHECK %s
 
 // Branch coverage 89.29%
 // CHECK: Lines executed:96.72% of 4114

diff --git a/test/regression/2023-10-16-CostasArray-17.c b/test/regression/2023-10-16-CostasArray-17.c
@@ -17,7 +17,7 @@
 // RUN: %replay %t.klee-out %t_runner
 // RUN: gcov -b %t_runner-%basename_t > %t.cov.log
 
-// RUN: FileCheck --input-file=%t.cov.log --check-prefix=CHECK  -dump-input-filter=all %s
+// RUN: FileCheck --input-file=%t.cov.log --check-prefix=CHECK %s
 
 // Branch coverage 100%, the number of branches is 1:
 // CHECK: Lines executed:0.71% of 1545