diff --git a/test/Floats/round.c b/test/Floats/round.c
index 02377ea763..864a9524e6 100644
--- a/test/Floats/round.c
+++ b/test/Floats/round.c
@@ -1,7 +1,7 @@
 // RUN: %clang %s -emit-llvm -O0 -g -c -o %t1.bc
 // RUN: rm -rf %t.klee-out
 // RUN: %klee --libc=klee --fp-runtime --output-dir=%t.klee-out --exit-on-error %t1.bc > %t-output.txt 2>&1
-// RUN: FileCheck -input-file=%t-output.txt %s --dump-input-filter=all
+// RUN: FileCheck -input-file=%t-output.txt %s --dump-input=always --dump-input-filter=all
 // REQUIRES: fp-runtime
 #include "klee/klee.h"
 #include <math.h>
diff --git a/test/Industry/CoverageErrorCall/od-4.c b/test/Industry/CoverageErrorCall/od-4.c
index 2fcb9acd46..9843d832e3 100644
--- a/test/Industry/CoverageErrorCall/od-4.c
+++ b/test/Industry/CoverageErrorCall/od-4.c
@@ -3,7 +3,7 @@
 // REQUIRES: not-asan
 // REQUIRES: not-msan
 // REQUIRES: not-darwin
-// RUN: %kleef --property-file=%S/coverage-error-call.prp --max-memory=7000000000 --max-cputime-soft=180 --64 --debug %s 2>&1 | FileCheck %s --dump-input-filter=all
+// RUN: %kleef --property-file=%S/coverage-error-call.prp --max-memory=7000000000 --max-cputime-soft=180 --64 --debug %s 2>&1 | FileCheck %s --dump-input=always --dump-input-filter=all
 // CHECK: KLEE: WARNING: 100.00% Reachable Reachable
 
 extern long __VERIFIER_nondet_long(void);