equal
deleted
inserted
replaced
88 val genuineN = "genuine"; |
88 val genuineN = "genuine"; |
89 val noneN = "none"; |
89 val noneN = "none"; |
90 val unknownN = "unknown"; |
90 val unknownN = "unknown"; |
91 |
91 |
92 |
92 |
93 (* preferences *) |
|
94 |
|
95 val _ = |
|
96 ProofGeneral.preference_option ProofGeneral.category_tracing |
|
97 NONE |
|
98 @{system_option auto_quickcheck} |
|
99 "auto-quickcheck" |
|
100 "Run Quickcheck automatically"; |
|
101 |
|
102 |
|
103 (* quickcheck report *) |
93 (* quickcheck report *) |
104 |
94 |
105 datatype report = Report of |
95 datatype report = Report of |
106 {iterations : int, |
96 {iterations : int, |
107 raised_match_errors : int, |
97 raised_match_errors : int, |