From ca32b2a45b9917059044de4e816fbaf366e07b68 Mon Sep 17 00:00:00 2001
From: Hristina Palikareva <h.palikareva@imperial.ac.uk>
Date: Wed, 3 Dec 2014 11:20:54 +0000
Subject: Fixed test /Feature/PreferCex.c: Z3 instantiates different value for
 unconstrained buf[3]

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

diff --git a/test/Feature/PreferCex.c b/test/Feature/PreferCex.c
index d562f968..180e03cf 100644
--- a/test/Feature/PreferCex.c
+++ b/test/Feature/PreferCex.c
@@ -15,6 +15,7 @@ int main() {
   klee_prefer_cex(buf, buf[0]=='H');
   klee_prefer_cex(buf, buf[1]=='i');
   klee_prefer_cex(buf, buf[2]=='\0');
+  klee_prefer_cex(buf, buf[3]=='\0');
 
   return 0;
 }
-- 
cgit 1.4.1