diff options
Diffstat (limited to 'test/Expr/Evaluate.pc')
| -rw-r--r-- | test/Expr/Evaluate.pc | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/test/Expr/Evaluate.pc b/test/Expr/Evaluate.pc index 0dac0cc8..418a712d 100644 --- a/test/Expr/Evaluate.pc +++ b/test/Expr/Evaluate.pc @@ -13,4 +13,11 @@ array arr1[8] : w32 -> w8 = symbolic (query [(Eq N0:(ReadLSB w32 0 arr1) 10) (Eq N1:(ReadLSB w32 4 arr1) 20)] (Eq (Add w32 N0 N1) - 30)) \ No newline at end of file + 30)) + +# RUN: grep "Query 2: VALID" %t.log +# Query 2 +array hello[4] : w32 -> w8 = [ 1 2 3 5 ] +(query [] (Eq (Add w8 (Read w8 0 hello) + (Read w8 3 hello)) + 6)) |