Skip to content

Commit

Permalink
Fix test compile errors
Browse files Browse the repository at this point in the history
  • Loading branch information
andrewmilson committed Aug 26, 2023
1 parent c9572b7 commit 6f0845c
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions tests/constraint.rs
Original file line number Diff line number Diff line change
Expand Up @@ -73,6 +73,7 @@ fn constraint_with_challenges() {
X => unreachable!(),
&Constant(v) => FieldVariant::Fp(v),
&Hint(_) => unreachable!(),
&Periodic(_) => todo!(),
&Challenge(i) => FieldVariant::Fp(challenges[i]),
&Trace(i, j) => {
assert_eq!(0, j);
Expand Down Expand Up @@ -142,6 +143,7 @@ fn constraint_multiplication() {
X => one,
Challenge(_) => unreachable!(),
Hint(_) => unreachable!(),
Periodic(_) => todo!(),
&Constant(v) => v,
&Trace(i, j) => {
assert_eq!(0, i, "for value {val}");
Expand Down Expand Up @@ -368,6 +370,7 @@ fn evaluate_symbolic<Fp: GpuFftField + FftField, Fq: StarkExtensionOf<Fp>>(
&Constant(v) => v,
&Hint(i) => FieldVariant::Fq(hints[i]),
&Challenge(i) => FieldVariant::Fq(challenges[i]),
&Periodic(_col) => todo!(),
&Trace(col_idx, offset) => {
let pos = (i as isize + blowup_factor * offset).rem_euclid(n as isize) as usize;
let column = &lde_matrix[col_idx];
Expand Down

0 comments on commit 6f0845c

Please sign in to comment.