diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2009-07-10 23:18:26 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2009-07-10 23:18:26 +0000 |
| commit | fc294a84c8d0ced1a25cc059d9a2df2afb4acd85 (patch) | |
| tree | ba344a8cacfde640b59eab3f9f5f39c9397b80b4 /klee/test | |
| parent | cd49435e49970ef58fe761bffb3fc006ab1f86c0 (diff) | |
Added xfail test: (query [false] true) should return INVALID.
Diffstat (limited to 'klee/test')
| -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) + |