diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2019-09-20 21:32:51 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-10-07 13:26:53 +0100 |
| commit | 18c600a2068939642adaf7d88002602f927e737d (patch) | |
| tree | 6ba9c9e25c6d702a74f3bded2bbf6d47ad0e938e /test | |
| parent | 849e8d578e94ce610482976f742b30a4edfc3a1e (diff) | |
| download | klee-18c600a2068939642adaf7d88002602f927e737d.tar.gz | |
test/Expr/Evaluate2.kquery: add link to issue
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) |