Skip to content

Commit 2187ce0

Browse files
fix: bug in edwards chip test setup
1 parent 197bb73 commit 2187ce0

File tree

1 file changed

+2
-0
lines changed
  • extensions/ecc/circuit/src/edwards_chip

1 file changed

+2
-0
lines changed

extensions/ecc/circuit/src/edwards_chip/tests.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,7 @@ use super::TeAddChip;
1919
const NUM_LIMBS: usize = 32;
2020
const LIMB_BITS: usize = 8;
2121
const BLOCK_SIZE: usize = 32;
22+
const MAX_INS_CAPACITY: usize = 128;
2223
type F = BabyBear;
2324

2425
lazy_static::lazy_static! {
@@ -124,6 +125,7 @@ fn test_add() {
124125
Edwards25519_A.clone(),
125126
Edwards25519_D.clone(),
126127
);
128+
chip.0.set_trace_buffer_height(MAX_INS_CAPACITY);
127129

128130
assert_eq!(chip.0.step.expr.builder.num_variables, 12);
129131

0 commit comments

Comments
 (0)