Strengthen the backstore invariant

Use the newly revised datatier_allocated_size() method in place of an expression. Add a new equality, that depends for correctness on the previous commit. Signed-off-by: mulhern <[email protected]>
stratis-storage · Aug 28, 2024 · 9435cc3 · 9435cc3
1 parent d1bee2d
commit 9435cc3
Showing 1 changed file with 4 additions and 7 deletions.
diff --git a/src/engine/strat_engine/backstore/backstore/v2.rs b/src/engine/strat_engine/backstore/backstore/v2.rs
@@ -1217,13 +1217,10 @@ mod tests {
                 _ => panic!("impossible; see first assertion"),
             }
         );
-        assert!(
-            backstore
-                .allocs
-                .iter()
-                .map(|(_, len)| *len)
-                .sum::<Sectors>()
-                <= backstore.size()
+        assert!(backstore.datatier_allocated_size() <= backstore.size());
+        assert_eq!(
+            backstore.datatier_allocated_size() + backstore.datatier_crypt_meta_size(),
+            backstore.data_tier.allocated()
         );
 
         backstore.data_tier.invariant();