Evaluate2.kquery « Expr « test - ~cnx/klee - KLEE fork for patch differentiation testing

about summary refs log tree commit diff homepage

path: root/test/Expr/Evaluate2.kquery

blob: 18b307b0edf383658837d94e9cc07d04c9ef2af0 (plain) (blame)

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

# RUN: grep "Query 0:	VALID" %t.log
# XFAIL: *
# see https://github.com/klee/klee/issues/97
(query [false] false)