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)
Add Comment
Please, Sign In to add comment