From 8426b2913e650970d46be9a4d088bf3945f41453 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 9 Aug 2019 17:58:38 +0100
Subject: Create all files in the replay directory and chdir to this directory
 before executing the program.

---
 test/Runtime/POSIX/Replay.c | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'test')

diff --git a/test/Runtime/POSIX/Replay.c b/test/Runtime/POSIX/Replay.c
index 851b5a1e..61862c5f 100644
--- a/test/Runtime/POSIX/Replay.c
+++ b/test/Runtime/POSIX/Replay.c
@@ -3,9 +3,6 @@
 // RUN: %klee --output-dir=%t.klee-out --posix-runtime %t.bc --sym-files 1 3
 // RUN: %klee-replay --create-files-only %t.klee-out/test000001.ktest
 
-// RUN: FileCheck --input-file=A --check-prefix=CREATE_FILES_ONLY %s
-// CREATE_FILES_ONLY: abc
-
 // RUN: %cc %s -O0 -o %t2
 // RUN: %klee-replay %t2 %t.klee-out/test000001.ktest | FileCheck --check-prefix=REPLAY %s
 // REPLAY: Yes
-- 
cgit 1.4.1