From c2d13a541c1f0168198b897b605d529edc7e5dee Mon Sep 17 00:00:00 2001 From: Julian Büning Date: Sat, 21 Jul 2018 23:35:50 +0200 Subject: test: remove geq-llvm-3.4 --- test/Feature/ConstExprWithOvershift.ll | 2 ++ 1 file changed, 2 insertions(+) (limited to 'test/Feature/ConstExprWithOvershift.ll') 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 -- cgit 1.4.1