Scalacheck está ignorando los generadores proporcionados

Question

Estoy tratando de implementar un control de propiedad simple, pero Scalacheck está ignorando mis generadores. ¿Qué estoy haciendo mal aquí?

object AlgorithmTest extends Properties("Algorithm") { 
    property("Test") = forAll (Gen.choose(0,10)) (n => n>=0 & n<10) 
} 

y este es el resultado en el SBT

[info] ! Algorithm.Test: Falsified after 12 passed tests. [info] > 
ARG_0: -1 [error] Failed: : Total 1, Failed 1, Errors 0, Passed 0, 
Skipped 0 

Answer 1

Parece que la instancia del encogimiento que se pasa al método forAll no está usando el generador en la búsqueda de pequeñas contra-ejemplos. Si cambia su propiedad para:

property("Test") = Prop.forAllNoShrink(Gen.choose(1, 10)) (n => n >= 0 && n < 10) 

Entonces debería fallar correctamente con:

[info] ! Algorithm.Test: Falsified after 7 passed tests. 
[info] > ARG_0: 10 
[error] Failed: : Total 1, Failed 1, Errors 0, Passed 0, Skipped 0 

Una manera de visualizar los valores de encogimiento es utilizar el Prop.collect método:

property("Test") = Prop.forAll(Gen.choose(1, 10)) { n => 
    Prop.collect(n) { n >= 0 && n < 10 } 
} 

Entonces los valores recopilados se ven así:

[info] ! Algorithm.Test: Falsified after 40 passed tests. 
[info] > ARG_0: -1 
[info] > Collected test data: 
[info] 17% 3 
[info] 17% 1 
[info] 15% 6 
[info] 12% 9 
[info] 10% 2 
[info] 10% 5 
[info] 7% 4 
[info] 7% 8 
[info] 2% -1 
[info] 2% 7 

Donde puede ver que -1 se usó durante el proceso de reducción.