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 | |
| parent | 377ce50eabe8a4b04112cf9d114c00bd2697856f (diff) | |
| download | klee-c2d13a541c1f0168198b897b605d529edc7e5dee.tar.gz | |
test: remove geq-llvm-3.4
Diffstat (limited to 'test/Feature')
| -rw-r--r-- | test/Feature/ConstExprWithDivZero.ll | 4 | ||||
| -rw-r--r-- | test/Feature/ConstExprWithOvershift.ll | 2 |
2 files changed, 4 insertions, 2 deletions
diff --git a/test/Feature/ConstExprWithDivZero.ll b/test/Feature/ConstExprWithDivZero.ll index f430dad9..d50268a6 100644 --- a/test/Feature/ConstExprWithDivZero.ll +++ b/test/Feature/ConstExprWithDivZero.ll @@ -1,11 +1,11 @@ +; 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 ; RUN: not %klee --output-dir=%t.klee-out %t.bc 2> %t.log ; RUN: FileCheck --input-file %t.log %s -; See https://github.com/klee/klee/issues/268 - target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" target triple = "x86_64-pc-linux-gnu" 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 |