equal
deleted
inserted
replaced
141 bool_pref Toplevel.debug |
141 bool_pref Toplevel.debug |
142 "debugging" |
142 "debugging" |
143 "Whether to enable debugging.", |
143 "Whether to enable debugging.", |
144 bool_pref Codegen.auto_quickcheck |
144 bool_pref Codegen.auto_quickcheck |
145 "auto-quickcheck" |
145 "auto-quickcheck" |
146 "Whether to enable quickcheck automatically."] |
146 "Whether to enable quickcheck automatically.", |
|
147 nat_pref Codegen.auto_quickcheck_time_limit |
|
148 "auto-quickcheck-time-limit" |
|
149 "Time limit for automatic quickcheck (in milliseconds)."] |
147 |
150 |
148 val proof_preferences = |
151 val proof_preferences = |
149 [bool_pref quick_and_dirty |
152 [bool_pref quick_and_dirty |
150 "quick-and-dirty" |
153 "quick-and-dirty" |
151 "Take a few short cuts", |
154 "Take a few short cuts", |