diff options
Diffstat (limited to 'test/Intrinsics/fshlr.ll')
-rw-r--r-- | test/Intrinsics/fshlr.ll | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/Intrinsics/fshlr.ll b/test/Intrinsics/fshlr.ll index fcdf32ff..a47951f3 100644 --- a/test/Intrinsics/fshlr.ll +++ b/test/Intrinsics/fshlr.ll @@ -14,7 +14,6 @@ ; where the constants a, b, c and r are copied from the constants ; used in the LLVM testfile llvm/test/Analysis/ConstantFolding/funnel-shift.ll -; REQUIRES: geq-llvm-7.0 ; RUN: %llvmas %s -o=%t.bc ; RUN: rm -rf %t.klee-out ; RUN: %klee -exit-on-error --output-dir=%t.klee-out --optimize=false %t.bc |