Skip to content

Commit

Permalink
Replace assert_eq! with assert!. (#262)
Browse files Browse the repository at this point in the history
assert_eq! is only supported in tests.
  • Loading branch information
ilyalesokhin-starkware authored Dec 18, 2024
1 parent 3833267 commit f1cbcef
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion stwo_cairo_verifier/crates/verifier_core/src/fri.cairo
Original file line number Diff line number Diff line change
Expand Up @@ -604,7 +604,7 @@ impl SparseEvaluationImpl of SparseEvaluationTrait {
fn new(
subset_evals: Array<Array<QM31>>, subset_domain_initial_indexes: Span<usize>,
) -> SparseEvaluation {
assert_eq!(subset_evals.len(), subset_domain_initial_indexes.len());
assert!(subset_evals.len() == subset_domain_initial_indexes.len());
SparseEvaluation { subset_evals, subset_domain_initial_indexes }
}

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -178,7 +178,7 @@ pub fn fri_answers(
let mut answers = array![];
let mut log_size = M31_CIRCLE_LOG_ORDER;
let one_per_tree = [1, 1, 1].span();
assert_eq!(n_columns_per_tree.len(), one_per_tree.len());
assert!(n_columns_per_tree.len() == one_per_tree.len());
loop {
let columns = match columns_per_log_size_rev.next() {
Option::Some(columns) => columns,
Expand Down

0 comments on commit f1cbcef

Please sign in to comment.