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.

---
 lib/Core/SpecialFunctionHandler.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/Core/SpecialFunctionHandler.h')

diff --git a/lib/Core/SpecialFunctionHandler.h b/lib/Core/SpecialFunctionHandler.h
index d52b8fc5..2dfdde43 100644
--- a/lib/Core/SpecialFunctionHandler.h
+++ b/lib/Core/SpecialFunctionHandler.h
@@ -120,6 +120,7 @@ namespace klee {
     HANDLER(handleNew);
     HANDLER(handleNewArray);
     HANDLER(handlePreferCex);
+    HANDLER(handlePosixPreferCex);
     HANDLER(handlePrintExpr);
     HANDLER(handlePrintRange);
     HANDLER(handleRange);
-- 
cgit 1.4.1