948c94d695
* fix incorrect assert condition and document it * update symcc * adapt to changes in symcc API * more fixes * fix formatting * more fixes * speed up smoke test by building multiple crates in one command * update symcc commit to latest main
31 lines
1.0 KiB
Plaintext
31 lines
1.0 KiB
Plaintext
1 InputByte { offset: 0, value: 49 }
|
|
2 InputByte { offset: 1, value: 50 }
|
|
3 InputByte { offset: 2, value: 51 }
|
|
4 InputByte { offset: 3, value: 52 }
|
|
5 Concat { a: 2, b: 1 }
|
|
6 Concat { a: 3, b: 5 }
|
|
7 Concat { a: 4, b: 6 }
|
|
8 Concat { a: 2, b: 1 }
|
|
9 Concat { a: 3, b: 8 }
|
|
10 Concat { a: 4, b: 9 }
|
|
11 Extract { op: 10, first_bit: 7, last_bit: 0 }
|
|
12 Extract { op: 10, first_bit: 15, last_bit: 8 }
|
|
13 Extract { op: 10, first_bit: 23, last_bit: 16 }
|
|
14 Extract { op: 10, first_bit: 31, last_bit: 24 }
|
|
15 Concat { a: 12, b: 11 }
|
|
16 Concat { a: 13, b: 15 }
|
|
17 Concat { a: 14, b: 16 }
|
|
18 Integer { value: 2, bits: 32 }
|
|
19 Mul { a: 18, b: 17 }
|
|
20 Integer { value: 7, bits: 32 }
|
|
21 SignedLessThan { a: 19, b: 20 }
|
|
22 PathConstraint { constraint: 21, taken: false, location: 11229456 }
|
|
22 Concat { a: 12, b: 11 }
|
|
23 Concat { a: 13, b: 22 }
|
|
24 Concat { a: 14, b: 23 }
|
|
25 Integer { value: 7, bits: 32 }
|
|
26 SignedRem { a: 24, b: 25 }
|
|
27 Integer { value: 0, bits: 32 }
|
|
28 NotEqual { a: 26, b: 27 }
|
|
29 PathConstraint { constraint: 28, taken: true, location: 11122032 }
|