Skip to content

Commit

Permalink
Run test in a child domain
Browse files Browse the repository at this point in the history
  • Loading branch information
jmid committed Aug 7, 2024
1 parent 73519c1 commit 182a27f
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions src/domain/dls_test.ml
Original file line number Diff line number Diff line change
Expand Up @@ -16,8 +16,9 @@ let rec interp sut cs = match cs with
let run n =
for i = 1 to n do
if i mod 100 = 0 then Printf.printf "#%!";
let sut = init_sut () in
interp sut cmds
Domain.spawn (fun () ->
let sut = init_sut () in
interp sut cmds) |> Domain.join
done

let _ = run 50_000
let _ = run 10_000

0 comments on commit 182a27f

Please sign in to comment.