From 3b32a10724b016f040d9d9996ad080a49e2cac94 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jonas=20K=C3=B6lker?= <jonaskoelker@yahoo.com>
Date: Sat, 29 Feb 2020 23:39:45 +0100
Subject: [PATCH] Fail at generating Command sequences less often

---
 src/main/scala/org/scalacheck/commands/Commands.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/scala/org/scalacheck/commands/Commands.scala b/src/main/scala/org/scalacheck/commands/Commands.scala
index 1327de7ff..9da0a04b1 100644
--- a/src/main/scala/org/scalacheck/commands/Commands.scala
+++ b/src/main/scala/org/scalacheck/commands/Commands.scala
@@ -365,7 +365,7 @@ trait Commands {
       l.foldLeft(const((s,Nil:Commands))) { case (g,()) =>
         for {
           (s0,cs) <- g
-          c <- genCommand(s0) suchThat (_.preCondition(s0))
+          c <- genCommand(s0) retryUntil (_.preCondition(s0), 100)
         } yield (c.nextState(s0), cs :+ c)
       }
     }