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/insert_element.c | 1 - 1 file changed, 1 deletion(-) (limited to 'test/VectorInstructions/insert_element.c') diff --git a/test/VectorInstructions/insert_element.c b/test/VectorInstructions/insert_element.c index 8397dceb..7e79250d 100644 --- a/test/VectorInstructions/insert_element.c +++ b/test/VectorInstructions/insert_element.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