diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2017-07-22 01:28:40 +0200 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2017-07-23 12:18:35 +0200 |
| commit | afae176824d8fd1733e5e302a62e6bd09a86aff2 (patch) | |
| tree | 417ff3c15fd0499d8e61a1f180c75beb5cde6d4b /test/Intrinsics/objectsize.ll | |
| parent | 37e92d0c802524c19a9a84164253639aac47fee3 (diff) | |
| download | klee-afae176824d8fd1733e5e302a62e6bd09a86aff2.tar.gz | |
Updated test cases to reflect removal of LLVM 2.9
Diffstat (limited to 'test/Intrinsics/objectsize.ll')
| -rw-r--r-- | test/Intrinsics/objectsize.ll | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/test/Intrinsics/objectsize.ll b/test/Intrinsics/objectsize.ll index 8b75ce8f..4bb59596 100644 --- a/test/Intrinsics/objectsize.ll +++ b/test/Intrinsics/objectsize.ll @@ -1,7 +1,3 @@ -; Unfortunately LLVM 2.9 has a different suffix for the ``llvm.objectsize`` instrinsic -; so this LLVM IR fails to verify for that version. -; -; REQUIRES: not-llvm-2.9 ; RUN: %llvmas %s -o=%t.bc ; RUN: rm -rf %t.klee-out ; RUN: %klee -exit-on-error --output-dir=%t.klee-out -disable-opt %t.bc |