Skip to content

Commit

Permalink
improved cargo clippy
Browse files Browse the repository at this point in the history
  • Loading branch information
yugocabrio committed Oct 27, 2023
1 parent cbecda7 commit 10089c9
Showing 1 changed file with 4 additions and 6 deletions.
10 changes: 4 additions & 6 deletions src/frontend/traits.rs
Original file line number Diff line number Diff line change
Expand Up @@ -89,14 +89,14 @@ mod frontend_tests {

// R1CS
let (r1cs, z_r1cs) = frontend
.extract_r1cs_and_z(&[].as_slice())
.extract_r1cs_and_z([].as_slice())
.expect("Frontend: Failed to extract R1CS and Z");
r1cs.check_relation(&z_r1cs)
.expect("Relation Check: Failure in R1CS");

// CCS
let (ccs, z_ccs) = frontend
.extract_ccs_and_z(&[].as_slice())
.extract_ccs_and_z([].as_slice())
.expect("Frontend: Failed to extract CCS and Z");
ccs.check_relation(&z_ccs[..])
.expect("Relation Check: Failure in CCS");
Expand Down Expand Up @@ -140,10 +140,8 @@ mod frontend_tests {
if ccs_check_result.is_err() {
panic!("Relation Check: Failure in CCS");
}
} else {
if r1cs_check_result.is_ok() && ccs_check_result.is_ok() {
panic!("Relation Check: Unexpected success in both R1CS and CCS");
}
} else if r1cs_check_result.is_ok() && ccs_check_result.is_ok() {
panic!("Relation Check: Unexpected success in both R1CS and CCS");
}
}

Expand Down

0 comments on commit 10089c9

Please sign in to comment.