Skip to content

Commit

Permalink
Clean up test code for clippy
Browse files Browse the repository at this point in the history
  • Loading branch information
ethanfrey committed Jul 12, 2021
1 parent 95e491b commit e8881b7
Showing 1 changed file with 1 addition and 6 deletions.
7 changes: 1 addition & 6 deletions rust/src/verify.rs
Original file line number Diff line number Diff line change
Expand Up @@ -520,12 +520,7 @@ mod tests {
for (name, tc) in cases {
let check = check_existence_spec(&tc.proof, &tc.spec);
if tc.valid {
assert!(
check.is_ok(),
"{} should be ok, got err {}",
name,
check.unwrap_err()
);
check.expect(name);
} else {
assert!(check.is_err(), "{} should be an error", name);
}
Expand Down

0 comments on commit e8881b7

Please sign in to comment.