diff options
| author | Denis Gavrielov <de.gavrielov@gmail.com> | 2019-06-17 16:04:36 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-07-25 09:43:04 +0100 |
| commit | f75a6941eee820ebdeae14cc10c24ecd5ec04579 (patch) | |
| tree | 588e018a51c26ae72d4592fa4889c586a4d752a2 /tools | |
| parent | df33de1a47eaff1b191d22f482af5d26162e6aa9 (diff) | |
| download | klee-f75a6941eee820ebdeae14cc10c24ecd5ec04579.tar.gz | |
Solve issues with running as a command on docker run
Now commands like `docker run klee/klee klee --version` are possible.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions