use alcotest

Author: art-w

tests/dune

@@ -10,10 +10,10 @@
 
 (test
  (name test_simple)
- (libraries dscheck)
+ (libraries dscheck alcotest)
  (modules test_simple))
 
 (test
  (name test_bug)
- (libraries dscheck)
+ (libraries dscheck alcotest)
  (modules test_bug))

tests/test_bug.ml

@@ -14,4 +14,17 @@ let test () =
       assert (Atomic.get cancelled)     (* This bug should be detected *)
     )
 
-let () = Atomic.trace test
+let test () =
+  match Atomic.trace test with
+  | exception _ -> ()
+  | _ -> failwith "expected failure"
+
+let () =
+  let open Alcotest in
+  run "dscheck"
+    [
+      ( "bug",
+        [
+          test_case "test" `Quick test;
+        ] );
+    ]

tests/test_simple.ml

@@ -12,7 +12,20 @@ let test i =
   Atomic.set y 1 ;
   Atomic.final (fun () -> Atomic.check (fun () -> Atomic.get y <> 2))
 
+let test_0 () = Atomic.trace (fun () -> test 0)
+
+let test_10 () =
+  match Atomic.trace (fun () -> test 10) with
+  | exception _ -> ()
+  | _ -> failwith "expected failure"
+
 let () =
-  Atomic.trace (fun () -> test 0) ;
-  Printf.printf "\n-----------------------------\n\n%!" ;
-  Atomic.trace (fun () -> test 10)
+  let open Alcotest in
+  run "dscheck"
+    [
+      ( "simple",
+        [
+          test_case "test-0" `Quick test_0;
+          test_case "test-10" `Quick test_10;
+        ] );
+    ]