Skip to content

Commit

Permalink
clippy
Browse files Browse the repository at this point in the history
  • Loading branch information
hadasz committed Jan 17, 2024
1 parent e2262b1 commit 009d801
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion basic/tests/test_prover.rs
Original file line number Diff line number Diff line change
Expand Up @@ -235,7 +235,10 @@ fn prove_fibonacci() {

let mut challenger = Challenger::new(perm16);
let out = machine.prove(&config, &mut challenger);
assert_eq!(out.chip_proof.proof.opened_values.trace_local.len() > 0, true);
assert_eq!(
out.chip_proof.proof.opened_values.trace_local.len() > 0,
true
);
assert_eq!(machine.cpu().clock, 192);
assert_eq!(machine.cpu().operations.len(), 192);
assert_eq!(machine.mem().operations.values().flatten().count(), 401);
Expand Down

0 comments on commit 009d801

Please sign in to comment.