test/Expr/Parser/Concat64.pc


1
2
3
4
5
6
7
8
9
10
11
12

# 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)
            (Concat w48 (Read w8 5 arr1)
            (Concat w40 (Read w8 4 arr1)
            (Concat w32 (Read w8 3 arr1)
            (Concat w24 (Read w8 2 arr1)
            (Concat w16 (Read w8 1 arr1) (Read w8 0 arr1)))))))))]
       false)