diff options
Diffstat (limited to 'test/Expr/Parser/Concat64.pc')
| -rw-r--r-- | test/Expr/Parser/Concat64.pc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/Expr/Parser/Concat64.pc b/test/Expr/Parser/Concat64.pc index e57e9760..0b1479d4 100644 --- a/test/Expr/Parser/Concat64.pc +++ b/test/Expr/Parser/Concat64.pc @@ -1,5 +1,6 @@ # RUN: kleaver --print-ast %s +array arr1[8] : w32 -> w8 = symbolic (query [(Eq 0 (Concat w64 (Read w8 7 arr1) (Concat w56 (Read w8 6 arr1) |