diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2014-09-25 11:17:19 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2014-09-25 11:17:19 +0100 |
| commit | 0c8c812db1d331f1e49e27ccd35f1288e58d97e6 (patch) | |
| tree | 1cc5d0db69b22e16d14381d40321978ff62efebd /configure | |
| parent | 547dd6fbf929d769b7a9a38c152bfb315d7a25a0 (diff) | |
| download | klee-0c8c812db1d331f1e49e27ccd35f1288e58d97e6.tar.gz | |
Patch by Sean Bartell: "F_Binary was actually moved in LLVM 3.4 (r186447), not 3.0."
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions