Merge pull request #31 from jhlywa/master

More aggressive shrinker for choose/2
krestenkrab · Nov 17, 2014 · f440bc0 · f440bc0
2 parents fcf2773 + db97613
commit f440bc0
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/src/triq_dom.erl b/src/triq_dom.erl
@@ -1063,10 +1063,9 @@ choose_pick(#?DOM{kind=#choose{min=M,max=N}}=Dom, _) ->
     Value = random:uniform(N-M+1) - 1 + M,
     {Dom,Value}.
 
-choose_shrink(#?DOM{kind=#choose{min=M}}=Dom, Value) when Value > M ->
-    {Dom,Value-1};
-choose_shrink(#?DOM{kind=#choose{min=M}}=Dom, M) ->
-    {Dom,M}.
+choose_shrink(#?DOM{kind=#choose{min=M}}=Dom, Value) ->
+    Mid = (Value - M) div 2,
+    {Dom, M + Mid}.
 
 %% @doc Generates a member of the list `L'.  Shrinks towards the first element
 %% of the list.