From 4d24113c9757cbe83d4e80e22c3d91c9246aa140 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Fri, 10 Jul 2009 07:34:54 +0000 Subject: Small test for non-boolean Not. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@75241 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Expr/Evaluate.pc | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'test') diff --git a/test/Expr/Evaluate.pc b/test/Expr/Evaluate.pc index 418a712d..43134475 100644 --- a/test/Expr/Evaluate.pc +++ b/test/Expr/Evaluate.pc @@ -21,3 +21,8 @@ array hello[4] : w32 -> w8 = [ 1 2 3 5 ] (query [] (Eq (Add w8 (Read w8 0 hello) (Read w8 3 hello)) 6)) + +# RUN: grep "Query 3: VALID" %t.log +# Query 2 +(query [] (Eq (Not w8 (Read w8 0 arr1)) + (Xor w8 (Read w8 0 arr1) 0xff))) -- cgit 1.4.1