From 913279ed60aa9b7cce6db1b45c90e6e9d548c19b Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Fri, 5 Jun 2009 08:18:48 +0000 Subject: Turn an assert into a parse failure. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72935 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Expr/Parser/TypeChecking.pc | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 test/Expr/Parser/TypeChecking.pc (limited to 'test') diff --git a/test/Expr/Parser/TypeChecking.pc b/test/Expr/Parser/TypeChecking.pc new file mode 100644 index 00000000..4633313d --- /dev/null +++ b/test/Expr/Parser/TypeChecking.pc @@ -0,0 +1,9 @@ +# RUN: not %kleaver %s 2> %t.log + + + +# RUN: grep "TypeChecking.pc:6:9: error: type widths do not match in binary expression" %t.log +(query [(Eq (ReadLSB w32 0 arr1) true)] + false) + +# RUN: grep "TypeChecking.pc: parse failure: 1 errors." %t.log -- cgit 1.4.1