From 652c2bdc171a448a2d6082040eebec366946ad33 Mon Sep 17 00:00:00 2001 From: Julian Büning Date: Mon, 29 Oct 2018 00:15:43 +0100 Subject: add %OOopt to recently added tests and Concrete --- test/ArrayOpt/test_position.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/ArrayOpt/test_position.c') diff --git a/test/ArrayOpt/test_position.c b/test/ArrayOpt/test_position.c index fcf5aeaa..22aebc68 100644 --- a/test/ArrayOpt/test_position.c +++ b/test/ArrayOpt/test_position.c @@ -1,4 +1,4 @@ -// RUN: %llvmgcc %s -emit-llvm -O0 -c -o %t.bc +// RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --write-kqueries --output-dir=%t.klee-out --optimize-array=index %t.bc > %t.log 2>&1 // RUN: FileCheck %s -input-file=%t.log -check-prefix=CHECK-OPT_I -- cgit 1.4.1