From ee45475408f6c95bd73cb57bba946f25b2395a0f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Fri, 10 Jun 2011 10:00:38 +0000
Subject: [PATCH]
---
src/purescala/RandomSolver.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/purescala/RandomSolver.scala b/src/purescala/RandomSolver.scala
index a80a64781..a5ca6e3ce 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
--
GitLab