From 16772a3c4f287aa7b4016be4ebbaa9e4ece6ca5a Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Wed, 3 Jun 2015 19:32:14 +0100
Subject: Added an option --readable-posix-inputs which is used to turn on/off
 the CEX preferences added in the POSIX model.  Removed option --prefer-cex
 which controlled all CEX preferences.

---
 test/Feature/PreferCex.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/Feature/PreferCex.c')

diff --git a/test/Feature/PreferCex.c b/test/Feature/PreferCex.c
index cf67e647..180e03cf 100644
--- a/test/Feature/PreferCex.c
+++ b/test/Feature/PreferCex.c
@@ -1,6 +1,6 @@
 // RUN: %llvmgcc %s -emit-llvm -O0 -c -o %t1.bc
 // RUN: rm -rf %t.klee-out
-// RUN: %klee --output-dir=%t.klee-out --exit-on-error --prefer-cex %t1.bc
+// RUN: %klee --output-dir=%t.klee-out --exit-on-error %t1.bc
 // RUN: ktest-tool %t.klee-out/test000001.ktest | FileCheck %s
 
 #include <assert.h>
-- 
cgit 1.4.1