search

juanrh / sscheck

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

First order quantifiers in letters #46

Closed juanrh closed 8 years ago

juanrh commented 8 years ago

In the style of TraceContract. Also allow using not only the letter / batch but also the time in the batch, in the style of TPTL.

juanrh commented 8 years ago

tests passing https://juanrhcubox.duckdns.org:8080/job/sscheck%20master%20test/9/consoleFull