From 507c85dfdcec31cc94ac5fd3eb4b51be07189ff4 Mon Sep 17 00:00:00 2001 From: CblPOK-git Date: Wed, 8 Nov 2023 22:18:50 +0000 Subject: [PATCH] temporarily disable is_accessible check for multi prover #350 --- bin/assigner/src/main.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/assigner/src/main.cpp b/bin/assigner/src/main.cpp index 6024947f4..de99f1e3f 100644 --- a/bin/assigner/src/main.cpp +++ b/bin/assigner/src/main.cpp @@ -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++; } }