diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-07-25 15:29:48 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-07-30 12:36:41 +0100 |
| commit | e0103f5c669960bca6bfefbb254802ba57442900 (patch) | |
| tree | 17469e81e2ab46123acd40a8af40d5b770cc3c3a /Dockerfile | |
| parent | b28775a70d98cd93efd45e865514e54b7d52acba (diff) | |
| download | klee-e0103f5c669960bca6bfefbb254802ba57442900.tar.gz | |
Add missing dependencies for `check` target
Build `gen-bout` and `gen-random-bout` before running tests
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions