Skip to content

Commit

Permalink
Reduce test count as crash seems to happen initially
Browse files Browse the repository at this point in the history
  • Loading branch information
jmid committed Jun 6, 2024
1 parent 530c727 commit 584ace2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/domain/domain_spawntree.ml
Original file line number Diff line number Diff line change
Expand Up @@ -74,7 +74,7 @@ let rec dom_interp a = function

let t ~max_height ~max_degree = Test.make
~name:"domain_spawntree - with Atomic"
~count:100
~count:10
~retries:10
(*~print:show_cmd (gen max_height max_degree)*)
(make ~print:show_cmd ~shrink:shrink_cmd (gen max_height max_degree))
Expand Down

0 comments on commit 584ace2

Please sign in to comment.