diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 17:10:35 -0700 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 17:39:18 -0700 |
| commit | 9a3cf72b8979213bcc6d235856bb0ddba4ee37c8 (patch) | |
| tree | 1252e620f137e01d90f7260fdca042b13ab683d1 /Makefile | |
| parent | ecb0ab1407f23e6d2403a8603613fdbf4101e519 (diff) | |
| download | klee-9a3cf72b8979213bcc6d235856bb0ddba4ee37c8.tar.gz | |
[tests] Update ConcreteTest to use --output-dir.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions