@@ -38,9 +38,15 @@ fn splitty_config() -> TreeConfig<32> {
3838fn bug_proof_on_empty_internal_node_does_not_panic ( ) {
3939 let mut tree = ProllyTree :: new ( InMemoryNodeStorage :: < 32 > :: default ( ) , splitty_config ( ) ) ;
4040 for i in 0 ..500u32 {
41- tree. insert ( format ! ( "key-{i:08}" ) . into_bytes ( ) , format ! ( "v{i}" ) . into_bytes ( ) ) ;
41+ tree. insert (
42+ format ! ( "key-{i:08}" ) . into_bytes ( ) ,
43+ format ! ( "v{i}" ) . into_bytes ( ) ,
44+ ) ;
4245 }
43- assert ! ( !tree. root. is_leaf, "test needs a multi-level tree (internal root)" ) ;
46+ assert ! (
47+ !tree. root. is_leaf,
48+ "test needs a multi-level tree (internal root)"
49+ ) ;
4450
4551 // Simulate the transient state a delete can leave.
4652 tree. root . values . clear ( ) ;
@@ -55,9 +61,15 @@ fn bug_proof_on_empty_internal_node_does_not_panic() {
5561fn bug_proof_on_underfull_internal_node_does_not_panic ( ) {
5662 let mut tree = ProllyTree :: new ( InMemoryNodeStorage :: < 32 > :: default ( ) , splitty_config ( ) ) ;
5763 for i in 0 ..500u32 {
58- tree. insert ( format ! ( "key-{i:08}" ) . into_bytes ( ) , format ! ( "v{i}" ) . into_bytes ( ) ) ;
64+ tree. insert (
65+ format ! ( "key-{i:08}" ) . into_bytes ( ) ,
66+ format ! ( "v{i}" ) . into_bytes ( ) ,
67+ ) ;
5968 }
60- assert ! ( !tree. root. is_leaf, "test needs a multi-level tree (internal root)" ) ;
69+ assert ! (
70+ !tree. root. is_leaf,
71+ "test needs a multi-level tree (internal root)"
72+ ) ;
6173
6274 tree. root . values . pop ( ) ;
6375
@@ -70,13 +82,22 @@ fn bug_proof_on_underfull_internal_node_does_not_panic() {
7082fn proof_roundtrip_multilevel ( ) {
7183 let mut tree = ProllyTree :: new ( InMemoryNodeStorage :: < 32 > :: default ( ) , splitty_config ( ) ) ;
7284 for i in 0 ..500u32 {
73- tree. insert ( format ! ( "key-{i:08}" ) . into_bytes ( ) , format ! ( "v{i}" ) . into_bytes ( ) ) ;
85+ tree. insert (
86+ format ! ( "key-{i:08}" ) . into_bytes ( ) ,
87+ format ! ( "v{i}" ) . into_bytes ( ) ,
88+ ) ;
7489 }
7590 let key = b"key-00000042" ;
7691 let proof = tree. generate_proof ( key) ;
77- assert ! ( tree. verify( proof, key, None ) , "valid proof for a present key must verify" ) ;
92+ assert ! (
93+ tree. verify( proof, key, None ) ,
94+ "valid proof for a present key must verify"
95+ ) ;
7896
7997 let absent = b"key-does-not-exist" ;
8098 let proof = tree. generate_proof ( absent) ;
81- assert ! ( !tree. verify( proof, absent, None ) , "absent key must not verify" ) ;
99+ assert ! (
100+ !tree. verify( proof, absent, None ) ,
101+ "absent key must not verify"
102+ ) ;
82103}
0 commit comments