search

juanrh / sscheck

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

add timeouts to temporal generators #30

Closed juanrh closed 9 years ago

juanrh commented 9 years ago

In order to have the same expressive power in formulas and generators. Also the crude DSL for generator should be modified to be more similar to the DSL for formulas, in particular adding an analogous to TimeoutMissingFormula

juanrh commented 9 years ago

some care must be taken to avoid function class in DSL for formulas and generators. Consider renaming at import as a last resort

juanrh commented 9 years ago

solved