Add test for Lwt_mvar.take_available called twice

Suggestion by @raphael-proust
ocsigen · Jul 27, 2017 · 7799c15 · 7799c15
1 parent f496d0c
commit 7799c15
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/test/core/test_lwt_mvar.ml b/test/core/test_lwt_mvar.ml
@@ -43,6 +43,14 @@ let suite =
          Lwt.return (y = None)
       );
 
+    test "take_available (twice)"
+      (fun () ->
+         let x = Lwt_mvar.create 0 in
+         let (_ : int option) = Lwt_mvar.take_available x in
+         let y = Lwt_mvar.take_available x in
+         Lwt.return (y = None)
+      );
+
     test "is_empty (full)"
       (fun () ->
          let x = Lwt_mvar.create 0 in