Sign in
fuchsia
/
third_party
/
llvm-project
/
refs/heads/llvm-project-20170507
/
.
/
klee
/
test
/
Expr
/
Evaluate2.pc
blob: d62241f0736c472ba3ebfc7cacd8dd6e61a10ab3 [
file
] [
log
] [
blame
]
# RUN: %kleaver -evaluate %s > %t.log
# RUN: grep "Query 0: VALID" %t.log
# XFAIL: *
(
query
[
false
]
false
)