diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2013-05-02 16:49:52 +0200 |
|---|---|---|
| committer | Martin Nowack <martin.nowack@gmail.com> | 2013-08-15 16:50:44 +0200 |
| commit | 2fdad5968a4783e225a1024cb23b7ade1fa823f5 (patch) | |
| tree | 597739edbc0ef2da6c5e5fb7a8bda425005cf1c8 /LICENSE.TXT | |
| parent | 93d8088ed4498c340b740834dca0a7fa45e7b7eb (diff) | |
| download | klee-2fdad5968a4783e225a1024cb23b7ade1fa823f5.tar.gz | |
Warn if compiler is not found to build .ll files
Diffstat (limited to 'LICENSE.TXT')
0 files changed, 0 insertions, 0 deletions