diff --git a/src/purescala/RandomSolver.scala b/src/purescala/RandomSolver.scala index a80a64781f29a07e7685c30b3372add59f49ca35..a5ca6e3ce9101108570ceeb3bed2bceb266b9463 100644 --- a/src/purescala/RandomSolver.scala +++ b/src/purescala/RandomSolver.scala @@ -35,7 +35,7 @@ class RandomSolver(reporter: Reporter, val nbTrial: Option[Int] = None) extends case BooleanType => BooleanLiteral(random.nextBoolean()) case AbstractClassType(acd) => { val children = acd.knownChildren - if(size <= 0 || random.nextInt(size) == 1) { + if(size <= 0 || random.nextInt(size) == 0) { val terminalChildren = children.filter{ case CaseClassDef(_, _, fields) => fields.isEmpty case _ => false