|
|
|
|
| Synopsis |
|
|
|
| Documentation |
|
| 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
synchronizing?
|
|
| 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
correctness.
|
|
| correctParams :: Params -> Bool |
| Constraints are satisfied. Reproduced for genParams.
|
|
| forallInvalidParams :: ParamGen |
|
| badGenParams :: Gen Params |
|
| incorrectParams :: Params -> Bool |
|
| Produced by Haddock version 2.4.2 |
