2010-06-10 14:19:15 +02:00
|
|
|
/* sbt -- Simple Build Tool
|
|
|
|
|
* Copyright 2009 Mark Harrah
|
|
|
|
|
*/
|
|
|
|
|
package sbt
|
|
|
|
|
|
2009-11-12 00:41:39 +01:00
|
|
|
import org.scalacheck._
|
|
|
|
|
import Gen.choose
|
|
|
|
|
|
|
|
|
|
object TaskGen
|
|
|
|
|
{
|
|
|
|
|
// upper bounds to make the tests finish in reasonable time
|
2010-06-10 14:19:15 +02:00
|
|
|
val MaxTasks = 100
|
|
|
|
|
val MaxWorkers = 29
|
2011-04-09 01:17:58 +02:00
|
|
|
val MaxJoin = 20
|
2009-11-12 00:41:39 +01:00
|
|
|
|
|
|
|
|
val MaxTasksGen = choose(0, MaxTasks)
|
|
|
|
|
val MaxWorkersGen = choose(1, MaxWorkers)
|
|
|
|
|
val MaxJoinGen = choose(0, MaxJoin)
|
|
|
|
|
val TaskListGen = MaxTasksGen.flatMap(size => Gen.listOfN(size, Arbitrary.arbInt.arbitrary))
|
|
|
|
|
|
|
|
|
|
}
|