diff options
| author | Andrew Santosa <santosa_1999@yahoo.com> | 2019-03-31 11:30:57 +0800 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-31 09:53:16 +0100 |
| commit | dc750bb2a807a4807a2918fedce756981ea6451c (patch) | |
| tree | e50b812169eac14229db86af7af75114cacff7e7 /test/Runtime | |
| parent | f497d2d88dc6fe304942a4e533a2c0efaacf1bfc (diff) | |
| download | klee-dc750bb2a807a4807a2918fedce756981ea6451c.tar.gz | |
Made test/Runtime/POSIX/GenBout.c run in an isolated directory
Diffstat (limited to 'test/Runtime')
| -rw-r--r-- | test/Runtime/POSIX/GenBout.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test/Runtime/POSIX/GenBout.c b/test/Runtime/POSIX/GenBout.c index 44979735..1aac748c 100644 --- a/test/Runtime/POSIX/GenBout.c +++ b/test/Runtime/POSIX/GenBout.c @@ -1,4 +1,6 @@ -// RUN: rm -rf file.bout +// -- Core testing commands +// RUN: rm -rf %t.out +// RUN: mkdir -p %t.out && cd %t.out // RUN: echo -n aaaa > %t.aaaa.txt // RUN: echo -n bbbb > %t.bbbb.txt // RUN: echo -n cccc > %t.cccc.txt |