diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-08-13 20:58:09 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-08-14 16:26:48 +0100 |
| commit | e3d84e2888b51f271f53c2b368f76f958b6ff1dc (patch) | |
| tree | bf62812fb148c549aad7cdeb7b3d9a12a1fe05a1 /test | |
| parent | 23767d2dba13dc1dd0022f77577f2adddf38279a (diff) | |
| download | klee-e3d84e2888b51f271f53c2b368f76f958b6ff1dc.tar.gz | |
Moved Gen*Bout.c tests outside the test/Runtime/POSIX directory, as they don't need POSIX support to run.
Diffstat (limited to 'test')
| -rw-r--r-- | test/Replay/klee-replay/GenBout.c (renamed from test/Runtime/POSIX/GenBout.c) | 0 | ||||
| -rw-r--r-- | test/Replay/klee-replay/GenRandomBout.c (renamed from test/Runtime/POSIX/GenRandomBout.c) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/test/Runtime/POSIX/GenBout.c b/test/Replay/klee-replay/GenBout.c index 1f60ed0c..1f60ed0c 100644 --- a/test/Runtime/POSIX/GenBout.c +++ b/test/Replay/klee-replay/GenBout.c diff --git a/test/Runtime/POSIX/GenRandomBout.c b/test/Replay/klee-replay/GenRandomBout.c index 0620e778..0620e778 100644 --- a/test/Runtime/POSIX/GenRandomBout.c +++ b/test/Replay/klee-replay/GenRandomBout.c |