diff options
Diffstat (limited to 'klee/test/Expr/Evaluate2.pc')
| -rw-r--r-- | klee/test/Expr/Evaluate2.pc | 6 |
1 files changed, 6 insertions, 0 deletions
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) + |