3 files changed, 3 insertions, 3 deletions
diff --git a/test/Intrinsics/objectsize.leq36.ll b/test/Intrinsics/objectsize.leq36.ll
index 7ad4b6fc..8f94510c 100644
--- a/test/Intrinsics/objectsize.leq36.ll
+++ b/test/Intrinsics/objectsize.leq36.ll
@@ -1,7 +1,7 @@
 ; REQUIRES: lt-llvm-3.7
 ; RUN: %llvmas %s -o=%t.bc
 ; RUN: rm -rf %t.klee-out
-; RUN: %klee -exit-on-error --output-dir=%t.klee-out -disable-opt %t.bc
+; RUN: %klee -exit-on-error --output-dir=%t.klee-out --optimize=false %t.bc
 ; ModuleID = 'objectsize.c'
 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
 target triple = "x86_64-unknown-linux-gnu"
diff --git a/test/Intrinsics/objectsize.leq49.ll b/test/Intrinsics/objectsize.leq49.ll
index 1d184bdf..d21b13b4 100644
--- a/test/Intrinsics/objectsize.leq49.ll
+++ b/test/Intrinsics/objectsize.leq49.ll
@@ -6,7 +6,7 @@
 ; REQUIRES: lt-llvm-5.0
 ; RUN: %llvmas %s -o=%t.bc
 ; RUN: rm -rf %t.klee-out
-; RUN: %klee -exit-on-error --output-dir=%t.klee-out -disable-opt %t.bc
+; RUN: %klee -exit-on-error --output-dir=%t.klee-out --optimize=false %t.bc
 ; ModuleID = 'objectsize.c'
 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
 target triple = "x86_64-unknown-linux-gnu"
diff --git a/test/Intrinsics/objectsize.ll b/test/Intrinsics/objectsize.ll
index 95070e66..733f03b0 100644
--- a/test/Intrinsics/objectsize.ll
+++ b/test/Intrinsics/objectsize.ll
@@ -6,7 +6,7 @@
 ; REQUIRES: geq-llvm-5.0
 ; RUN: %llvmas %s -o=%t.bc
 ; RUN: rm -rf %t.klee-out
-; RUN: %klee -exit-on-error --output-dir=%t.klee-out -disable-opt %t.bc
+; RUN: %klee -exit-on-error --output-dir=%t.klee-out --optimize=false %t.bc
 ; ModuleID = 'objectsize.c'
 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
 target triple = "x86_64-unknown-linux-gnu"