diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-25 18:38:19 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-25 18:38:19 +0100 |
| commit | 47b4608a033a6b6c05f8798ab675baa120d15a7f (patch) | |
| tree | 84a4b5bee0ac3afc7246c0e9a81c3efd2972d7bb /runtime/POSIX/Makefile | |
| parent | 9fc9cdde42b5a1d38dd5a3ea0815104762c2b367 (diff) | |
| download | klee-47b4608a033a6b6c05f8798ab675baa120d15a7f.tar.gz | |
Report the git tag if exists in the output of --version from klee
and kleaver.
Diffstat (limited to 'runtime/POSIX/Makefile')
0 files changed, 0 insertions, 0 deletions