diff options
| author | Emilio Jesus Gallego Arias | 2017-06-10 04:27:21 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-12-11 12:43:25 +0100 |
| commit | 50159f9c1748ccf1d66341d171081a998d116d2f (patch) | |
| tree | ef58c58b10abcb45142b56d261bc15f034b2731e /lib/flags.ml | |
| parent | a758aac39aa330911f5f589ab3cae1bebed1e9ce (diff) | |
[flags] [stm] Reorganize flags.
We move the main async flags to the STM in preparation for
more state encapsulation.
There is still more work to do, in particular we should make some of
the defaults a parameter instead of a flag.
Diffstat (limited to 'lib/flags.ml')
| -rw-r--r-- | lib/flags.ml | 28 |
1 files changed, 1 insertions, 27 deletions
diff --git a/lib/flags.ml b/lib/flags.ml index ddc8f84825..b43d5f74d2 100644 --- a/lib/flags.ml +++ b/lib/flags.ml @@ -35,36 +35,10 @@ let record_aux_file = ref false let test_mode = ref false -type async_proofs = APoff | APonLazy | APon -let async_proofs_mode = ref APoff -type cache = Force -let async_proofs_cache = ref None -let async_proofs_n_workers = ref 1 -let async_proofs_n_tacworkers = ref 2 -let async_proofs_private_flags = ref None -let async_proofs_full = ref false -let async_proofs_never_reopen_branch = ref false -let async_proofs_flags_for_workers = ref [] let async_proofs_worker_id = ref "master" -type priority = Low | High -let async_proofs_worker_priority = ref Low -let string_of_priority = function Low -> "low" | High -> "high" -let priority_of_string = function - | "low" -> Low - | "high" -> High - | _ -> raise (Invalid_argument "priority_of_string") -type tac_error_filter = [ `None | `Only of string list | `All ] -let async_proofs_tac_error_resilience = ref (`Only [ "curly" ]) -let async_proofs_cmd_error_resilience = ref true - -let async_proofs_is_worker () = - !async_proofs_worker_id <> "master" -let async_proofs_is_master () = - !async_proofs_mode = APon && !async_proofs_worker_id = "master" -let async_proofs_delegation_threshold = ref 0.03 +let async_proofs_is_worker () = !async_proofs_worker_id <> "master" let debug = ref false -let stm_debug = ref false let in_debugger = ref false let in_toplevel = ref false |