Skip to content

Commit

Permalink
remove tess
Browse files Browse the repository at this point in the history
  • Loading branch information
sirasistant committed Jan 14, 2025
1 parent 53c96f7 commit 87bde1a
Showing 1 changed file with 0 additions and 19 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -52,25 +52,6 @@ fn validate_initial_values_constants_incorrect_protocol_nullifier_fails() {
builder.validate_as_first_call(false);
}

#[test(should_fail_with = "claimed_first_nullifier does not match the protocol nullifier")]
fn validate_initial_values_constants_incorrect_protocol_nullifier_claim_fails() {
let mut builder = PrivateKernelCircuitOutputValidatorBuilder::new();
builder.with_protocol_nullifier();

builder.output.claimed_first_nullifier += 1;

builder.validate_as_first_call(false);
}

#[test(should_fail_with = "mismatch claimed_first_nullifier")]
fn validate_initial_values_constants_incorrect_first_nullifier_claim_fails() {
let mut builder = PrivateKernelCircuitOutputValidatorBuilder::new();

builder.output.claimed_first_nullifier += 1;

builder.validate_as_first_call(false);
}

/**
* min_revertible_side_effect_counter
*/
Expand Down

0 comments on commit 87bde1a

Please sign in to comment.