search

juanrh / sscheck

ScalaCheck for Spark
Apache License 2.0
63 stars 9 forks source link

Formula.safeWordLength always returns None #51

Open juanrh opened 8 years ago

juanrh commented 8 years ago

Because the base case is Now that potentially returns a new formula that is generated test time.

juanrh commented 8 years ago

a test case for safeWordLenght in src/test/scala/es/ucm/fdi/sscheck/prop/tl/FormulaTest.scala is pending before closing this issue