Public Pastes
daily pastebin goal
63%
SHARE
TWEET

Untitled

a guest Jan 18th, 2019 63 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. case class MyRandomGenerator() extends java.util.Random {
  2.   // implement a deterministic generator
  3. }
  4.  
  5. "this is a specific property" ! prop { (a: Int, b: Int) =>
  6.   (a + b) must_== (b + a)
  7. }.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. OK, I Understand
 
Top