1 files changed, 11 insertions, 0 deletions
diff --git a/test/Coverage/ReplayOutDir.c b/test/Coverage/ReplayOutDir.c
new file mode 100644
index 00000000..3ca6fb80
--- /dev/null
+++ b/test/Coverage/ReplayOutDir.c
@@ -0,0 +1,11 @@
+// RUN: %llvmgcc %s -emit-llvm -O0 -c -o %t1.bc
+// RUN: rm -rf %t1.out %t1.replay
+// RUN: %klee --output-dir=%t1.out %t1.bc
+// RUN: %klee --output-dir=%t1.replay --replay-out-dir=%t1.out %t1.bc
+
+int main() {
+  int i;
+  klee_make_symbolic(&i, sizeof i);
+  klee_print_range("i", i);
+  return 0;
+}