Skip to content

Commit

Permalink
chore: Fix master after merge issue related to validate_trace renaming (
Browse files Browse the repository at this point in the history
  • Loading branch information
jeanmon committed Apr 10, 2024
1 parent 58aefba commit 44e0d8a
Showing 1 changed file with 4 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -131,7 +131,7 @@ TEST_P(AvmCmpTestsLT, ParamTest)
ASSERT_TRUE(alu_row != trace.end());
common_validate_cmp(*row, *alu_row, a, b, c, FF(0), FF(1), FF(2), mem_tag);

validate_trace_proof(std::move(trace));
validate_trace(std::move(trace));
}
INSTANTIATE_TEST_SUITE_P(AvmCmpTests,
AvmCmpTestsLT,
Expand Down Expand Up @@ -160,7 +160,7 @@ TEST_P(AvmCmpTestsLTE, ParamTest)
ASSERT_TRUE(row != trace.end());
ASSERT_TRUE(alu_row != trace.end());
common_validate_cmp(*row, *alu_row, a, b, c, FF(0), FF(1), FF(2), mem_tag);
validate_trace_proof(std::move(trace));
validate_trace(std::move(trace));
}
INSTANTIATE_TEST_SUITE_P(AvmCmpTests,
AvmCmpTestsLTE,
Expand Down Expand Up @@ -319,7 +319,7 @@ TEST_P(AvmCmpNegativeTestsLT, ParamTest)
auto trace = trace_builder.finalize();
std::function<bool(Row)> select_row = [](Row r) { return r.avm_main_sel_op_lt == FF(1); };
trace = gen_mutated_trace_cmp(trace, select_row, output, failure_mode, false);
EXPECT_THROW_WITH_MESSAGE(validate_trace_proof(std::move(trace)), failure_string);
EXPECT_THROW_WITH_MESSAGE(validate_trace_check_circuit(std::move(trace)), failure_string);
}

INSTANTIATE_TEST_SUITE_P(AvmCmpNegativeTests,
Expand All @@ -338,7 +338,7 @@ TEST_P(AvmCmpNegativeTestsLTE, ParamTest)
auto trace = trace_builder.finalize();
std::function<bool(Row)> select_row = [](Row r) { return r.avm_main_sel_op_lte == FF(1); };
trace = gen_mutated_trace_cmp(trace, select_row, output, failure_mode, true);
EXPECT_THROW_WITH_MESSAGE(validate_trace_proof(std::move(trace)), failure_string);
EXPECT_THROW_WITH_MESSAGE(validate_trace_check_circuit(std::move(trace)), failure_string);
}
INSTANTIATE_TEST_SUITE_P(AvmCmpNegativeTests,
AvmCmpNegativeTestsLTE,
Expand Down

0 comments on commit 44e0d8a

Please sign in to comment.