diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-08-13 22:11:27 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-08-14 16:26:48 +0100 |
| commit | 0012e87b747dc9a46cec4ed5708e72afc1eb8d3c (patch) | |
| tree | 4814023a765f2a7440f7ad15d5221f136912bd55 /test/CXX | |
| parent | e3d84e2888b51f271f53c2b368f76f958b6ff1dc (diff) | |
| download | klee-0012e87b747dc9a46cec4ed5708e72afc1eb8d3c.tar.gz | |
Rewrote the checks in GenRandomBout.c to remove dependency on bash and use FileCheck instead (FreeBSD tests on Travis CI fail otherwise)
Diffstat (limited to 'test/CXX')
0 files changed, 0 insertions, 0 deletions