Skip to content

Commit

Permalink
q
Browse files Browse the repository at this point in the history
  • Loading branch information
Sarkoxed committed Sep 1, 2023
1 parent 9309363 commit 713a1eb
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion cpp/src/barretenberg/smt_verification/smt_bigfield.test.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -86,6 +86,8 @@ msgpack::sbuffer create_circuit(bool pub_ab, bool ab)
return builder.export_circuit();
}

const std::string q = "21888242871839275222246405745257275088696311157297823662689037894645226208583";

std::vector<FFTerm> correct_result(Circuit& c, Solver* s)
{
FFTerm a_limb0 = c["a_limb_0"];
Expand Down Expand Up @@ -203,7 +205,7 @@ TEST(bigfield, unique_square)

CircuitSchema circuit_info = unpack_from_buffer(buf);

Solver s(circuit_info.modulus, true, 16);//, 1000);
Solver s(circuit_info.modulus, true, 16); //, 1000);

std::pair<Circuit, Circuit> cs = unique_witness(circuit_info,
&s,
Expand Down

0 comments on commit 713a1eb

Please sign in to comment.