ASSERT_TRUE -> ASSERT_FALSE
This commit is contained in:
parent
690171e268
commit
37cce214a4
|
@ -345,7 +345,7 @@ TEST(proofs, zksnark_serializes_properly)
|
||||||
auto verifierEnabled = ProofVerifier::Strict();
|
auto verifierEnabled = ProofVerifier::Strict();
|
||||||
auto verifierDisabled = ProofVerifier::Disabled();
|
auto verifierDisabled = ProofVerifier::Disabled();
|
||||||
// This verifier should catch the bad proof
|
// This verifier should catch the bad proof
|
||||||
ASSERT_TRUE(verifierEnabled.check(
|
ASSERT_FALSE(verifierEnabled.check(
|
||||||
kp.vk,
|
kp.vk,
|
||||||
vkprecomp,
|
vkprecomp,
|
||||||
example.primary_input,
|
example.primary_input,
|
||||||
|
|
Loading…
Reference in New Issue