diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-06-05 08:18:48 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-06-05 08:18:48 +0000 |
| commit | 913279ed60aa9b7cce6db1b45c90e6e9d548c19b (patch) | |
| tree | d7a78ea388ee4dbf8be40e5c8b53fa38c117c327 /test/Expr/Parser | |
| parent | 6c3de732d53bc0953078f1f102ba824161f39cd0 (diff) | |
| download | klee-913279ed60aa9b7cce6db1b45c90e6e9d548c19b.tar.gz | |
Turn an assert into a parse failure.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72935 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Expr/Parser')
| -rw-r--r-- | test/Expr/Parser/TypeChecking.pc | 9 |
1 files changed, 9 insertions, 0 deletions
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 |