equal
deleted
inserted
replaced
979 \item[\isa{quiet}] if not set quickcheck informs about the |
979 \item[\isa{quiet}] if not set quickcheck informs about the |
980 current size for assignment values. |
980 current size for assignment values. |
981 |
981 |
982 \item[\isa{expect}] can be used to check if the user's |
982 \item[\isa{expect}] can be used to check if the user's |
983 expectation was met (\isa{no{\isacharunderscore}expectation}, \isa{no{\isacharunderscore}counterexample}, or \isa{counterexample}). |
983 expectation was met (\isa{no{\isacharunderscore}expectation}, \isa{no{\isacharunderscore}counterexample}, or \isa{counterexample}). |
984 |
|
985 \item[timeout] sets the time limit in seconds. |
|
986 |
|
987 \item[default\_type] sets the type(s) generally used to instantiate |
|
988 type variables. |
|
989 |
|
990 \item[report] if set quickcheck reports how many tests fulfilled |
|
991 the preconditions. |
|
992 |
|
993 \item[quiet] if not set quickcheck informs about the current size |
|
994 for assignment values. |
|
995 |
|
996 \item[expect] can be used to check if the user's expectation was met |
|
997 (no\_expectation, no\_counterexample, or counterexample) |
|
998 |
984 |
999 \end{description} |
985 \end{description} |
1000 |
986 |
1001 These option can be given within square brackets. |
987 These option can be given within square brackets. |
1002 |
988 |