Patching the unused result => tests fail

[WildCryptoFox]

aeonflux/src/nizk.rs

Line 792 in 77881a8

verifier.verify_compact(&self.proof).or_else(|_| return Err(CredentialError::VerificationFailure));

Patching this code to

verifier.verify_compact(&self.proof)?;

results in failed tests

running 12 tests
test encoding::test::encoding_decoding_roundtrip ... ok
test amacs::test::secret_key_generate ... ok
test amacs::test::amac_verification ... ok
test nizk::test::encryption_proof ... ok
test nizk::test::credential_proof_1_attribute ... FAILED
test parameters::test::hash_and_pray ... ok
test parameters::test::issuer_parameters_generate ... ok
test parameters::test::system_parameters_serialize_deserialize ... ok
test symmetric::test::encrypt_decrypt_roundtrip ... ok
test nizk::test::issuance_proof ... ok
test nizk::test::issuance_proof_identity_plaintext ... ok
test nizk::test::credential_proof_8_attributes ... FAILED

failures:

---- nizk::test::credential_proof_1_attribute stdout ----
thread 'nizk::test::credential_proof_1_attribute' panicked at 'assertion failed: verification.is_ok()', src/nizk.rs:930:9
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

---- nizk::test::credential_proof_8_attributes stdout ----
thread 'nizk::test::credential_proof_8_attributes' panicked at 'assertion failed: verification.is_ok()', src/nizk.rs:908:9


failures:
    nizk::test::credential_proof_1_attribute
    nizk::test::credential_proof_8_attributes

test result: FAILED. 10 passed; 2 failed; 0 ignored; 0 measured; 0 filtered out

error: test failed, to rerun pass '--lib'