equal
deleted
inserted
replaced
40 |
40 |
41 val timing = Unsynchronized.ref false; |
41 val timing = Unsynchronized.ref false; |
42 |
42 |
43 val _ = |
43 val _ = |
44 ProofGeneralPgip.add_preference Preferences.category_tracing |
44 ProofGeneralPgip.add_preference Preferences.category_tracing |
45 (setmp_noncritical auto true (fn () => |
45 (Unsynchronized.setmp auto true (fn () => |
46 Preferences.bool_pref auto |
46 Preferences.bool_pref auto |
47 "auto-quickcheck" |
47 "auto-quickcheck" |
48 "Run Quickcheck automatically.") ()); |
48 "Run Quickcheck automatically.") ()); |
49 |
49 |
50 (* quickcheck report *) |
50 (* quickcheck report *) |