Skip to content

Instantly share code, notes, and snippets.

@ChihChengLiang

ChihChengLiang/err.txt

Created September 22, 2022 14:49
Show Gist options
  • Save ChihChengLiang/454ff3c7f5858001111f11f0a7ad96d0 to your computer and use it in GitHub Desktop.
Save ChihChengLiang/454ff3c7f5858001111f11f0a7ad96d0 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
err.txt
Compiling gadgets v0.1.0 (/Users/liangcc/projects/repos/zkevm-circuits/gadgets)
Compiling bus-mapping v0.1.0 (/Users/liangcc/projects/repos/zkevm-circuits/bus-mapping)
Compiling zkevm-circuits v0.1.0 (/Users/liangcc/projects/repos/zkevm-circuits/zkevm-circuits)
Compiling integration-tests v0.1.0 (/Users/liangcc/projects/repos/zkevm-circuits/integration-tests)
Finished release [optimized] target(s) in 1m 05s
Running tests/circuits.rs (target/release/deps/circuits-2c11952d6a58b820)
[2022-09-22T14:46:58Z INFO circuits] test bytecode circuit, block number: 6
[2022-09-22T14:46:58Z INFO circuits] test evm circuit, block number: 6
[2022-09-22T14:46:58Z INFO circuits] test bytecode circuit, block number: 7
[2022-09-22T14:46:58Z INFO circuits] test copy circuit, block number: 8
[2022-09-22T14:46:58Z INFO circuits] test copy circuit, block number: 7
[2022-09-22T14:46:58Z INFO circuits] test copy circuit, block number: 6
[2022-09-22T14:46:58Z INFO circuits] test bytecode circuit, block number: 8
[2022-09-22T14:46:58Z INFO circuits] test evm circuit, block number: 7
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 384 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000080
x1 = 0xa0
x2 = 1
x3 = 0xe0
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 386 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000081
x1 = 0xa0
x2 = 1
x3 = 0xe1
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 388 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000082
x1 = 0xa0
x2 = 1
x3 = 0xe2
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 390 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000083
x1 = 0xa0
x2 = 1
x3 = 0xe3
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 392 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000084
x1 = 0xa0
x2 = 1
x3 = 0xe4
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 394 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000085
x1 = 0xa0
x2 = 1
x3 = 0xe5
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 396 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000086
x1 = 0xa0
x2 = 1
x3 = 0xe6
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 398 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000087
x1 = 0xa0
x2 = 1
x3 = 0xe7
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 400 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000088
x1 = 0xa0
x2 = 1
x3 = 0xe8
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 402 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000089
x1 = 0xa0
x2 = 1
x3 = 0xe9
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 404 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000008a
x1 = 0xa0
x2 = 1
x3 = 0xea
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 406 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000008b
x1 = 0xa0
x2 = 1
x3 = 0xeb
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 408 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000008c
x1 = 0xa0
x2 = 1
x3 = 0xec
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 410 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000008d
x1 = 0xa0
x2 = 1
x3 = 0xed
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 412 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000008e
x1 = 0xa0
x2 = 1
x3 = 0xee
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 414 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000008f
x1 = 0xa0
x2 = 1
x3 = 0xef
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 416 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000090
x1 = 0xa0
x2 = 1
x3 = 0xf0
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 418 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000091
x1 = 0xa0
x2 = 1
x3 = 0xf1
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 420 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000092
x1 = 0xa0
x2 = 1
x3 = 0xf2
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 422 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000093
x1 = 0xa0
x2 = 1
x3 = 0xf3
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 424 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000094
x1 = 0xa0
x2 = 1
x3 = 0xf4
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 426 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000095
x1 = 0xa0
x2 = 1
x3 = 0xf5
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 428 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000096
x1 = 0xa0
x2 = 1
x3 = 0xf6
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 430 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000097
x1 = 0xa0
x2 = 1
x3 = 0xf7
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 432 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000098
x1 = 0xa0
x2 = 1
x3 = 0xf8
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 434 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000099
x1 = 0xa0
x2 = 1
x3 = 0xf9
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 436 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000009a
x1 = 0xa0
x2 = 1
x3 = 0xfa
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 438 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000009b
x1 = 0xa0
x2 = 1
x3 = 0xfb
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 440 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000009c
x1 = 0xa0
x2 = 1
x3 = 0xfc
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 442 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000009d
x1 = 0xa0
x2 = 1
x3 = 0xfd
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 444 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000009e
x1 = 0xa0
x2 = 1
x3 = 0xfe
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 446 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000009f
x1 = 0xa0
x2 = 1
x3 = 0xff
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: lookup input does not exist in table
(L0, L1, L2, L3, L4, L5, L6, L7, L8, L9, L10) ∉ (thread 'serial_test_copy_circuit_erc20_openzeppelin_transfer_succeed' panicked at 'no advice columns in table expressions', /Users/liangcc/.cargo/git/checkouts/halo2-afe2d0b0be6b3c3a/a9e99a7/halo2_proofs/src/dev/failure.rs:406:18
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
[2022-09-22T14:46:59Z INFO circuits] test evm circuit, block number: 8
[2022-09-22T14:46:59Z INFO circuits] test state circuit, block number: 6
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 384 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000080
x1 = 0xa0
x2 = 1
x3 = 0xe0
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 386 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000081
x1 = 0xa0
x2 = 1
x3 = 0xe1
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 388 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000082
x1 = 0xa0
x2 = 1
x3 = 0xe2
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 390 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000083
x1 = 0xa0
x2 = 1
x3 = 0xe3
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 392 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000084
x1 = 0xa0
x2 = 1
x3 = 0xe4
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 394 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000085
x1 = 0xa0
x2 = 1
x3 = 0xe5
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 396 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000086
x1 = 0xa0
x2 = 1
x3 = 0xe6
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 398 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000087
x1 = 0xa0
x2 = 1
x3 = 0xe7
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 400 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000088
x1 = 0xa0
x2 = 1
x3 = 0xe8
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 402 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000089
x1 = 0xa0
x2 = 1
x3 = 0xe9
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 404 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000008a
x1 = 0xa0
x2 = 1
x3 = 0xea
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 406 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000008b
x1 = 0xa0
x2 = 1
x3 = 0xeb
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 408 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000008c
x1 = 0xa0
x2 = 1
x3 = 0xec
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 410 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000008d
x1 = 0xa0
x2 = 1
x3 = 0xed
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 412 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000008e
x1 = 0xa0
x2 = 1
x3 = 0xee
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 414 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000008f
x1 = 0xa0
x2 = 1
x3 = 0xef
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 416 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000090
x1 = 0xa0
x2 = 1
x3 = 0xf0
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 418 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000091
x1 = 0xa0
x2 = 1
x3 = 0xf1
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 420 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000092
x1 = 0xa0
x2 = 1
x3 = 0xf2
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 422 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000093
x1 = 0xa0
x2 = 1
x3 = 0xf3
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 424 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000094
x1 = 0xa0
x2 = 1
x3 = 0xf4
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 426 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000095
x1 = 0xa0
x2 = 1
x3 = 0xf5
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 428 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000096
x1 = 0xa0
x2 = 1
x3 = 0xf6
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 430 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000097
x1 = 0xa0
x2 = 1
x3 = 0xf7
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 432 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000098
x1 = 0xa0
x2 = 1
x3 = 0xf8
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 434 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000099
x1 = 0xa0
x2 = 1
x3 = 0xf9
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 436 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000009a
x1 = 0xa0
x2 = 1
x3 = 0xfa
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 438 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000009b
x1 = 0xa0
x2 = 1
x3 = 0xfb
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 440 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000009c
x1 = 0xa0
x2 = 1
x3 = 0xfc
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 442 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000009d
x1 = 0xa0
x2 = 1
x3 = 0xfd
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 444 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000009e
x1 = 0xa0
x2 = 1
x3 = 0xfe
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 446 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000009f
x1 = 0xa0
x2 = 1
x3 = 0xff
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 960 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000080
x1 = 0xa0
x2 = 1
x3 = 0xe0
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 962 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000081
x1 = 0xa0
x2 = 1
x3 = 0xe1
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 964 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000082
x1 = 0xa0
x2 = 1
x3 = 0xe2
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 966 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000083
x1 = 0xa0
x2 = 1
x3 = 0xe3
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 968 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000084
x1 = 0xa0
x2 = 1
x3 = 0xe4
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 970 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000085
x1 = 0xa0
x2 = 1
x3 = 0xe5
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 972 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000086
x1 = 0xa0
x2 = 1
x3 = 0xe6
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 974 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000087
x1 = 0xa0
x2 = 1
x3 = 0xe7
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 976 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000088
x1 = 0xa0
x2 = 1
x3 = 0xe8
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 978 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000089
x1 = 0xa0
x2 = 1
x3 = 0xe9
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 980 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000008a
x1 = 0xa0
x2 = 1
x3 = 0xea
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 982 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000008b
x1 = 0xa0
x2 = 1
x3 = 0xeb
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 984 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000008c
x1 = 0xa0
x2 = 1
x3 = 0xec
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 986 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000008d
x1 = 0xa0
x2 = 1
x3 = 0xed
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 988 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000008e
x1 = 0xa0
x2 = 1
x3 = 0xee
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 990 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000008f
x1 = 0xa0
x2 = 1
x3 = 0xef
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 992 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000090
x1 = 0xa0
x2 = 1
x3 = 0xf0
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 994 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000091
x1 = 0xa0
x2 = 1
x3 = 0xf1
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 996 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000092
x1 = 0xa0
x2 = 1
x3 = 0xf2
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 998 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000093
x1 = 0xa0
x2 = 1
x3 = 0xf3
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 1000 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000094
x1 = 0xa0
x2 = 1
x3 = 0xf4
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 1002 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000095
x1 = 0xa0
x2 = 1
x3 = 0xf5
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 1004 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000096
x1 = 0xa0
x2 = 1
x3 = 0xf6
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 1006 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000097
x1 = 0xa0
x2 = 1
x3 = 0xf7
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 1008 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000098
x1 = 0xa0
x2 = 1
x3 = 0xf8
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 1010 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x1000300000099
x1 = 0xa0
x2 = 1
x3 = 0xf9
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 1012 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000009a
x1 = 0xa0
x2 = 1
x3 = 0xfa
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 1014 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000009b
x1 = 0xa0
x2 = 1
x3 = 0xfb
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 1016 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000009c
x1 = 0xa0
x2 = 1
x3 = 0xfc
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 1018 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000009d
x1 = 0xa0
x2 = 1
x3 = 0xfd
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 1020 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000009e
x1 = 0xa0
x2 = 1
x3 = 0xfe
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: constraint not satisfied
Cell layout in region 'assign copy table':
| Offset | A25| A26| A35| A36| A37| A38| A39| A40| A41| A42| A43|
+--------+----+----+----+----+----+----+----+----+----+----+----+
| 1022 | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | x10| <--{ Gate 'lt gate' applied here
Constraint '':
S1 * (x0 - x1 - (0 + x3 * 1 + x4 * 0x100 + x5 * 0x10000 + x6 * 0x1000000 + x7 * 0x100000000 + x8 * 0x10000000000 + x9 * 0x1000000000000 + x10 * 0x100000000000000) + x2 * 0x10000000000000000) = 0
Assigned cell values:
x0 = 0x100030000009f
x1 = 0xa0
x2 = 1
x3 = 0xff
x4 = 0xff
x5 = 0xff
x6 = 0xff
x7 = 0xff
x8 = 0xff
x9 = 0xff
x10 = 0xff
error: lookup input does not exist in table
(L0, L1, L2, L3, L4, L5, L6, L7, L8, L9, L10) ∉ (thread 'serial_test_copy_circuit_multiple_erc20_openzeppelin_transfers' panicked at 'no advice columns in table expressions', /Users/liangcc/.cargo/git/checkouts/halo2-afe2d0b0be6b3c3a/a9e99a7/halo2_proofs/src/dev/failure.rs:406:18
[2022-09-22T14:46:59Z INFO circuits] test state circuit, block number: 7
[2022-09-22T14:47:06Z INFO circuits] test state circuit, block number: 8
[2022-09-22T14:47:06Z INFO circuits] test tx circuit, block number: 6
[2022-09-22T14:47:06Z INFO circuits] test tx circuit, block number: 7
[2022-09-22T14:47:10Z INFO circuits] test tx circuit, block number: 8
error: test failed, to rerun pass '-p integration-tests --test circuits'
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment