SHARE
TWEET

Untitled




Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
- case class MyRandomGenerator() extends java.util.Random {
- // implement a deterministic generator
- }
- "this is a specific property" ! prop { (a: Int, b: Int) =>
- (a + b) must_== (b + a)
- }.set(MyRandomGenerator(), minTestsOk -> 200, workers -> 3)
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.