diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2014-09-13 18:38:40 -0700 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-13 18:38:40 -0700 |
| commit | c6555deaca41515a5d9c87fec6718ffacd650bf5 (patch) | |
| tree | eaf8fad079f3e48d5d6c327f3b96488cf9515eda /test/lit.cfg | |
| parent | b1224b12f143585d35b6846e4a55d18a8918d06f (diff) | |
| download | klee-c6555deaca41515a5d9c87fec6718ffacd650bf5.tar.gz | |
[test/Concrete] Remove the Invoke*.ll tests.
- LLVM changed the exception handling semantics a lot, and we can't write compatible tests across the versions. Unfortunately I am afraid this probably also means KLEE's exception handling semantics are broken for LLVM 3.4+, but our C++ support is spotty at best. These tests should probably be replaced with ones in a source language that supports exceptions if and when someone wants to make that work.
Diffstat (limited to 'test/lit.cfg')
0 files changed, 0 insertions, 0 deletions