Evaluate2.pc « Expr « test « klee - ci/llvm-monorepo.git - [no description]

index : ci/llvm-monorepo.git

[no description]

summary refs log tree commit diff

path: root/klee/test/Expr/Evaluate2.pc

blob: 0b50a0bd835651643c2108ddd78d83da4412718f (plain)

# RUN: %kleaver -evaluate %s > %t.log

# RUN: grep "Query 0:	INVALID" %t.log
# XFAIL: *
(query [false] true)