diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/Expr/Evaluate2.kquery | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/Expr/Evaluate2.kquery b/test/Expr/Evaluate2.kquery index d62241f0..18b307b0 100644 --- a/test/Expr/Evaluate2.kquery +++ b/test/Expr/Evaluate2.kquery @@ -2,4 +2,5 @@ # RUN: grep "Query 0: VALID" %t.log # XFAIL: * +# see https://github.com/klee/klee/issues/97 (query [false] false) |