add spinlock test

Author: art-w

tests/dune

@@ -7,3 +7,8 @@
  (name test_simple)
  (modules test_simple)
  (libraries dscheck))
+
+(executable
+ (name test_spinlock)
+ (modules test_spinlock)
+ (libraries dscheck))

tests/test_spinlock.ml

@@ -0,0 +1,10 @@
+module Atomic = Dscheck.TracedAtomic
+
+let test () =
+  let lock = Atomic.make true in
+  let result = Atomic.make 0 in
+  Atomic.spawn (fun () -> while Atomic.get lock do Atomic.incr result done) ;
+  Atomic.spawn (fun () -> Atomic.set lock false) ;
+  Atomic.final (fun () -> Atomic.check (fun () -> Atomic.get result < 10))
+
+let () = Atomic.trace test