Skip to content

Commit

Permalink
lint
Browse files Browse the repository at this point in the history
  • Loading branch information
crodriguezvega committed Sep 18, 2024
1 parent 98f8721 commit 277f4f4
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions rust/src/verify.rs
Original file line number Diff line number Diff line change
Expand Up @@ -487,10 +487,12 @@ mod tests {
let mut depth_limited_spec = api::iavl_spec();
depth_limited_spec.min_depth = 2;
depth_limited_spec.max_depth = 4;


let mut max_prefix_length_too_large_spec = api::iavl_spec();
let inner_spec = max_prefix_length_too_large_spec.inner_spec.as_mut().unwrap();
let inner_spec = max_prefix_length_too_large_spec
.inner_spec
.as_mut()
.unwrap();
inner_spec.max_prefix_length = 100;

let cases: HashMap<&'static str, ExistenceCase> = [
Expand Down

0 comments on commit 277f4f4

Please sign in to comment.