Add failing proptest

Adds a failing proptest. This could be a bug in the reference model (it does not account for the fact that the ino is stale). Signed-off-by: Christian Hagemeier <[email protected]>
awslabs · Jan 13, 2025 · 1dfe711 · 1dfe711
1 parent 456c7de
commit 1dfe711
Showing 1 changed file with 39 additions and 0 deletions.
diff --git a/mountpoint-s3/tests/reftests/harness.rs b/mountpoint-s3/tests/reftests/harness.rs
@@ -1330,4 +1330,43 @@ mod mutations {
             0,
         )
     }
+
+    #[test]
+    fn regression_stale_ino() {
+        run_test(
+            TreeNode::Directory(BTreeMap::from([])),
+            vec![
+                Op::CreateFile(
+                    ValidName(
+                        "a".into(),
+                    ),
+                    DirectoryIndex(
+                        0,
+                    ),
+                    FileContent(
+                        0,
+                        FileSize::Small(0),
+                    ),
+                ),
+                Op::PutObject(
+                    DirectoryIndex(
+                        0,
+                    ),
+                    Name(
+                        "a/a".into(),
+                    ),
+                    FileContent(
+                        0,
+                        FileSize::Small(0),
+                    ),
+                ),
+                Op::FinishWrite(
+                    InflightWriteIndex(
+                        0,
+                    ),
+                ),
+            ],
+            0
+        );
+    }
 }