diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-06-24 18:18:23 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-06-24 18:18:23 +0100 |
| commit | a49c6fabebb91718b54489e7c09cb7bddc9795b2 (patch) | |
| tree | 1466f9d605c45563c951030d4c6a22feaf689103 /Dockerfile | |
| parent | 96c244cda990edeb435a750fdef050b95c38ac7d (diff) | |
| parent | 96cbd7f7dfa69f47ae08c0bb833fde167c5af909 (diff) | |
| download | klee-a49c6fabebb91718b54489e7c09cb7bddc9795b2.tar.gz | |
Merge pull request #394 from andreamattavelli/refactoring_runindir
Added error message for -run-in directory errors
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions