diff options
Diffstat (limited to 'test/Expr')
| -rw-r--r-- | test/Expr/Parser/TypeChecking.pc | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/test/Expr/Parser/TypeChecking.pc b/test/Expr/Parser/TypeChecking.pc index 4633313d..9e29d0db 100644 --- a/test/Expr/Parser/TypeChecking.pc +++ b/test/Expr/Parser/TypeChecking.pc @@ -6,4 +6,9 @@ (query [(Eq (ReadLSB w32 0 arr1) true)] false) -# RUN: grep "TypeChecking.pc: parse failure: 1 errors." %t.log +# RUN: grep "TypeChecking.pc:12:25: error: invalid write index (doesn't match array domain)" %t.log +# RUN: grep "TypeChecking.pc:12:35: error: invalid write value (doesn't match array range)" %t.log +# FIXME: Add array declarations +(query [(Eq (Read w8 0 [ (w17 0) = (w9 0) ] @ arr0) 0)] false) + +# RUN: grep "TypeChecking.pc: parse failure: 3 errors." %t.log |