Improve property tests

This commit improves the property tests for the filesystem model and fixes bugs in the model itself, specifically around how nodes are linked. Signed-off-by: Brian L. Troutwine <[email protected]>
DataDog · Oct 28, 2024 · 499a686 · 499a686
1 parent 515238d
commit 499a686
Show file tree

Hide file tree

Showing 3 changed files with 187 additions and 158 deletions.
diff --git a/lading/proptest-regressions/generator/file_gen/model.txt b/lading/proptest-regressions/generator/file_gen/model.txt
diff --git a/lading/src/bin/logrotate_fs.rs b/lading/src/bin/logrotate_fs.rs
@@ -310,10 +310,13 @@ fn main() -> Result<(), Error> {
     .expect("block construction"); // TODO make this an Error
 
     let state = model::State::new(
+        &mut rng,
         args.bytes_per_second.get_bytes() as u64, // Adjust units accordingly
         5,                                        // TODO make an argument
         1_000_000,                                // 1MiB
         block_cache,
+        10, // max_depth
+        8,  // concurrent_logs
     );
 
     // Initialize the FUSE filesystem