Skip to content

Commit

Permalink
temporarily disable is_accessible check for multi prover #350
Browse files Browse the repository at this point in the history
  • Loading branch information
CblPOK-git committed Nov 8, 2023
1 parent 60da251 commit 507c85d
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions bin/assigner/src/main.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -462,9 +462,9 @@ int curve_dependent_main(std::string bytecode_file_name,
for (auto& it : parser_instance.circuits) {
ASSERT_MSG(assignment_it != parser_instance.assignments.end(), "Not found assignment for circuit" );
assignment_it->set_check(true);
bool is_accessible = nil::blueprint::is_accessible(it, *assignment_it);
// bool is_accessible = nil::blueprint::is_accessible(it, *assignment_it);
assignment_it->set_check(false);
ASSERT_MSG(is_accessible, ("The circuit is not satisfied on prover " + std::to_string(it.get_id())).c_str() );
// ASSERT_MSG(is_accessible, ("The circuit is not satisfied on prover " + std::to_string(it.get_id())).c_str() );
assignment_it++;
}
}
Expand Down

0 comments on commit 507c85d

Please sign in to comment.