|iter :: Integer|
|Number of rounds to execute
|prop_correct :: Bool -> Property|
|Property should always hold for good parameters.
|prop_incorrect :: Bool -> Property|
|Testing should fail on this property for some
percentage of tests.
|bitsEq :: (Rx, Tx) -> Bool|
|Did the receiver get the bits sent by the sender upon
|assertFinal :: Bool -> ParamGen -> ((Rx, Tx) -> Bool) -> Property|
|Note: monadicIO (from QuickCheck) uses unsafeperformIO.
|type ParamGen = (Params -> PropertyM IO ()) -> PropertyM IO ()|
|forallValidParams :: ParamGen|
|Generating correct params is too hard to do
procedurally, so we get close and then use a
predicate to make sure we're only testing correct ones.
|genParams :: Gen Params|
|Generate *almost* correct realtime parameters --- it's an
overapproximation. We need to test them to ensure
|correctParams :: Params -> Bool|
|Constraints are satisfied. Reproduced for genParams.
|forallInvalidParams :: ParamGen|
|badGenParams :: Gen Params|
|incorrectParams :: Params -> Bool|
|Produced by Haddock version 2.4.2|