| changeset 43865 | 58150aa44941 |
| parent 43861 | abb5d1f907e4 |
| child 43870 | 3e060b1c844b |
| 43864:cb8d4c2af639 | 43865:58150aa44941 |
|---|---|
651 (noneN, state) |
651 (noneN, state) |
652 end |
652 end |
653 end |
653 end |
654 |> `(fn (outcome_code, _) => outcome_code = genuineN) |
654 |> `(fn (outcome_code, _) => outcome_code = genuineN) |
655 |
655 |
656 val setup = Try.register_tool (quickcheckN, (auto, try_quickcheck)) |
656 val setup = Try.register_tool (quickcheckN, (30, auto, try_quickcheck)) |
657 |
657 |
658 end; |
658 end; |
659 |
659 |
660 val auto_quickcheck = Quickcheck.auto; |
660 val auto_quickcheck = Quickcheck.auto; |