From fc294a84c8d0ced1a25cc059d9a2df2afb4acd85 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Fri, 10 Jul 2009 23:18:26 +0000
Subject: Added xfail test: (query [false] true) should return INVALID.

---
 klee/test/Expr/Evaluate2.pc | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 klee/test/Expr/Evaluate2.pc

(limited to 'klee/test')

diff --git a/klee/test/Expr/Evaluate2.pc b/klee/test/Expr/Evaluate2.pc
new file mode 100644
index 00000000000..0b50a0bd835
--- /dev/null
+++ b/klee/test/Expr/Evaluate2.pc
@@ -0,0 +1,6 @@
+# RUN: %kleaver -evaluate %s > %t.log
+
+# RUN: grep "Query 0:	INVALID" %t.log
+# XFAIL: *
+(query [false] true)
+
-- 
cgit v1.2.3