Checks the arguments of a property: skips the trial, without failing it, when condition
does not hold. A property that returns a value writes if !condition return true;.
- condition: the trial is skipped when this is false.
assume :: (condition: bool)Checks the arguments of a property: skips the trial, without failing it, when condition
does not hold. A property that returns a value writes if !condition return true;.
Parameters
- condition: bool
- the trial is skipped when this is false.