[debug] javaOptions: Vector()
[debug] Forking tests - parallelism = false
[debug] Create a single-thread test executor
[debug] Runner for org.scalacheck.ScalaCheckFramework produced 1 initial tasks for 1 tests.
[debug]   Running TaskDef(quickcheck.QuickCheckBinomialHeap, sbt.ForkMain$SubclassFingerscan@372bea0d, false, [SuiteSelector])
[info] + Heap.min0: OK, passed 100 tests.
[info] + Heap.min1: OK, passed 100 tests.
[info] + Heap.min2: OK, passed 100 tests.
[info] + Heap.min2: OK, passed 100 tests.
[info] + Heap.g4: OK, proved property.
[info] + Heap.gen1: OK, passed 100 tests.
[info] + Heap.gen2: OK, passed 100 tests.
[info] + Heap.gen3: OK, passed 100 tests.
[debug]     Produced 0 nested tasks and 8 events.
[debug] Runner for com.novocode.junit.JUnitFramework produced 1 initial tasks for 1 tests.
[debug]   Running TaskDef(quickcheck.QuickCheckSuite, sbt.ForkMain$AnnotatedFingerscan@15f7991b, false, [SuiteSelector])
[info] Test run started
[info] Test quickcheck.QuickCheckSuite.Bogus (5) binomial heap does not satisfy properties. (10pts) started
[debug] Test quickcheck.QuickCheckSuite.Bogus (5) binomial heap does not satisfy properties. (10pts) finished, took 0.01 sec
[info] Test quickcheck.QuickCheckSuite.Bogus (4) binomial heap does not satisfy properties. (10pts) started
[debug] Test quickcheck.QuickCheckSuite.Bogus (4) binomial heap does not satisfy properties. (10pts) finished, took 0.003 sec
[info] Test quickcheck.QuickCheckSuite.Bogus (3) binomial heap does not satisfy properties. (10pts) started
[debug] Test quickcheck.QuickCheckSuite.Bogus (3) binomial heap does not satisfy properties. (10pts) finished, took 0.023 sec
[info] Test quickcheck.QuickCheckSuite.Bogus (2) binomial heap does not satisfy properties. (10pts) started
[debug] Test quickcheck.QuickCheckSuite.Bogus (2) binomial heap does not satisfy properties. (10pts) finished, took 0.036 sec
[info] Test quickcheck.QuickCheckSuite.Binomial heap satisfies properties. (5pts) started
[debug] Test quickcheck.QuickCheckSuite.Binomial heap satisfies properties. (5pts) finished, took 0.046 sec
[info] Test quickcheck.QuickCheckSuite.Bogus (1) binomial heap does not satisfy properties. (10pts) started
[debug] Test quickcheck.QuickCheckSuite.Bogus (1) binomial heap does not satisfy properties. (10pts) finished, took 0.002 sec
[info] Test run finished: 0 failed, 0 ignored, 6 total, 0.138s
[debug]     Produced 0 nested tasks and 6 events.
[debug] Summary for ScalaCheck not available.
[debug] Summary for JUnit not available.
[info] Passed: Total 14, Failed 0, Errors 0, Passed 14
[debug] Passed tests:
[debug] 	quickcheck.QuickCheckBinomialHeap
[debug] 	quickcheck.QuickCheckSuite
