From ec9faf80d2f9ca0b22f117c307b525f5bfb3b327 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.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@75310 91177308-0d34-0410-b5e6-96231b3b80d8
---
 test/Expr/Evaluate2.pc | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 test/Expr/Evaluate2.pc

(limited to 'test')

diff --git a/test/Expr/Evaluate2.pc b/test/Expr/Evaluate2.pc
new file mode 100644
index 00000000..0b50a0bd
--- /dev/null
+++ b/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 1.4.1