Test submitting empty batches

well-typed · Jun 17, 2024 · ad8e298 · ad8e298
1 parent c2d752e
commit ad8e298
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/test/test.hs b/test/test.hs
@@ -20,6 +20,7 @@ tests = testGroup "test"
     , testCase "example_initReadClose 32" $ example_initReadClose 32
     , testCase "example_initReadClose 96" $ example_initReadClose 96
     , testCase "example_initReadClose 200" $ example_initReadClose 200
+    , testCase "example_initEmptyClose" example_initEmptyClose
     , testCase "example_closeIsIdempotent" example_closeIsIdempotent
     ]
 
@@ -39,6 +40,12 @@ example_initReadClose size = do
             IOOpRead fd 0 mba 0 10
     closeIOCtx ctx
 
+example_initEmptyClose :: Assertion
+example_initEmptyClose = do
+    ctx <- initIOCtx defaultIOCtxParams
+    _ <- submitIO ctx V.empty
+    closeIOCtx ctx
+
 example_closeIsIdempotent :: Assertion
 example_closeIsIdempotent = do
     ctx <- initIOCtx defaultIOCtxParams