add simple test

Author: art-w

tests/dune

@@ -2,3 +2,8 @@
  (name test_list)
  (modules test_list)
  (libraries dscheck))
+
+(executable
+ (name test_simple)
+ (modules test_simple)
+ (libraries dscheck))

tests/test_simple.ml

@@ -0,0 +1,16 @@
+module Atomic = Dscheck.TracedAtomic
+
+(* Example from ocaml-parrafuzz presentation at the OCaml Workshop 2021:
+   https://www.youtube.com/watch?v=GZsUoSaIpIs *)
+
+let test i =
+  let x = Atomic.make i in
+  let y = Atomic.make 0 in
+  Atomic.spawn (fun () -> if Atomic.get x = 10 then Atomic.set y 2) ;
+  Atomic.spawn (fun () -> Atomic.set x 0 ; Atomic.set y 1) ;
+  Atomic.final (fun () -> Atomic.check (fun () -> Atomic.get y <> 2))
+
+let () =
+  Atomic.trace (fun () -> test 0) ;
+  Printf.printf "\n-----------------------------\n\n%!" ;
+  Atomic.trace (fun () -> test 10)