Skip to content

Commit

Permalink
Bump repetition count to 50_000
Browse files Browse the repository at this point in the history
  • Loading branch information
jmid committed Aug 7, 2024
1 parent 1f7a5a3 commit 88425d4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/domain/dls_test.ml
Original file line number Diff line number Diff line change
Expand Up @@ -21,4 +21,4 @@ let run n =
interp sut (cmds@cmds@cmds)) |> Domain.join
done

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

0 comments on commit 88425d4

Please sign in to comment.