How to use ScalaCheck's collect and classify in ScalaTest?

[Aravind Reddy]

The following use of Prop.collect((a, b)) isn't printing the statistics as expected even though the test runs successfully.

import org.scalacheck.Prop
import org.scalatest.{GivenWhenThen, PropSpec}
import org.scalatest.prop.{Checkers, GeneratorDrivenPropertyChecks}

import org.scalacheck.Prop.AnyOperators

class AccountSpecWithMarkup extends PropSpec with Checkers with GeneratorDrivenPropertyChecks {

  property("max") {
    check({
      (a:Int, b:Int) => {

        Prop.collect((a, b)) {

          a != b || a == b
        }
      }
    })
  }
}

[Aravind Reddy]

Any suggestions or help here pls?

[Bill Venners]

HI Aravind,

It is likely we don't print it. Can you elaborate on why you want that printed each time the test is run? 

Thanks.

Bill

--
You received this message because you are subscribed to the Google
Groups "scalatest-users" group.
To post to this group, send email to scalatest-users@googlegroups.com
To unsubscribe from this group, send email to
scalatest-users+unsubscribe@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/scalatest-users?hl=en
ScalaTest itself, and documentation, is available here:
http://www.artima.com/scalatest
---
You received this message because you are subscribed to the Google Groups "scalatest-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to scalatest-users+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

--

Bill Venners
Artima, Inc.
http://www.artima.com

[Aravind Reddy]

It should be part of the report so that we can see the distribution of data generated. It is very useful for testers.

You received this message because you are subscribed to a topic in the Google Groups "scalatest-users" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/scalatest-users/loNpW1uBiD8/unsubscribe.
To unsubscribe from this group and all its topics, send an email to scalatest-users+unsubscribe@googlegroups.com.