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/VectorInstructions/integer_ops_constant.c | 1 - 1 file changed, 1 deletion(-) (limited to 'test/VectorInstructions/integer_ops_constant.c') diff --git a/test/VectorInstructions/integer_ops_constant.c b/test/VectorInstructions/integer_ops_constant.c index 189ad4ee..8993ff2e 100644 --- a/test/VectorInstructions/integer_ops_constant.c +++ b/test/VectorInstructions/integer_ops_constant.c @@ -1,4 +1,3 @@ -// REQUIRES: geq-llvm-3.4 // RUN: %llvmgcc %s -emit-llvm -O0 -g -c -o %t1.bc // RUN: rm -rf %t.klee-out // NOTE: Have to pass `--optimize=false` to avoid vector operations being -- cgit 1.4.1