Add Property Based Tests

[xedin]

Using one of the quickcheck implementations.

[ifesdjeen]

@xedin would you like to use JVM based implementation for it (for unit tests), or something like Haskell quickcheck (in this case it'd be functional / integration tests)?

[jrwest]

The plan is to use ScalaCheck (http://scalacheck.org) because it has support for stateful property-based tests. We also considered Clojure's test.check because it has the better shrinking on the JVM but it lacks a stateful component.

The tests I started focused on single node correctness by comparing search results from the SASI API with results from a well-known database like H2 or SQLite. I got pulled into something else while working on good query generation, which is one of the big parts I had yet to finish.

Sent from my iPhone

On Nov 30, 2015, at 04:56, αλεx π [email protected] wrote:

@xedin would you like to use JVM based implementation for it (for unit tests), or something like Haskell quickcheck for integration tests (in this case it'd be functional / integration tests).

— Reply to this email directly or view it on GitHub.