diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2018-07-21 23:35:50 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-08-01 11:24:14 +0100 |
| commit | c2d13a541c1f0168198b897b605d529edc7e5dee (patch) | |
| tree | 8754ea1dbcac4817b1f21ee110a328ea832723ec /test/Feature/ConstExprWithOvershift.ll | |
| parent | 377ce50eabe8a4b04112cf9d114c00bd2697856f (diff) | |
| download | klee-c2d13a541c1f0168198b897b605d529edc7e5dee.tar.gz | |
test: remove geq-llvm-3.4
Diffstat (limited to 'test/Feature/ConstExprWithOvershift.ll')
| -rw-r--r-- | test/Feature/ConstExprWithOvershift.ll | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/Feature/ConstExprWithOvershift.ll b/test/Feature/ConstExprWithOvershift.ll index 7d4a1284..5f41a089 100644 --- a/test/Feature/ConstExprWithOvershift.ll +++ b/test/Feature/ConstExprWithOvershift.ll @@ -1,3 +1,5 @@ +; LLVM versions starting from 3.5 replace test code with "ret undef" +; see https://github.com/klee/klee/issues/268 ; REQUIRES: llvm-3.4 ; RUN: llvm-as %s -f -o %t.bc ; RUN: rm -rf %t.klee-out |