From 182a27f2e3993d6025125c7ab18b25bff7276e31 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Wed, 7 Aug 2024 16:53:17 +0200 Subject: [PATCH] Run test in a child domain --- src/domain/dls_test.ml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/domain/dls_test.ml b/src/domain/dls_test.ml index a64c7dca..75f59c9e 100644 --- a/src/domain/dls_test.ml +++ b/src/domain/dls_test.ml @@ -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