diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-07-25 09:08:16 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-07-25 09:08:16 +0100 |
| commit | d61646ac5df232086102af7292a9dd7f2b29b7f6 (patch) | |
| tree | 2a50cd1a42b4c6357faf3633ddd8aee6707d8ea4 /test/Concrete/CmpEq.ll | |
| parent | c06cc05adc7eac45ff16d7e488576d479811d7a8 (diff) | |
| download | klee-d61646ac5df232086102af7292a9dd7f2b29b7f6.tar.gz | |
Re-enable parts of `FloatingPointOps.ll`. The message about failures
doesn't seem relevant anymore given that LLVM 3.4 is the minimum version KLEE supports. Also do minor clean up. This was spotted by @andreamattavelli.
Diffstat (limited to 'test/Concrete/CmpEq.ll')
0 files changed, 0 insertions, 0 deletions