Module Jenga_lib.Config

The representation of the various command line options. Further configuration (not exposed to casual users) is in jenga_options.ml.

module Gc : sig ... end
type t = {
j_number : int;
f_number : int;
d_number : int;
tenacious_concurrency : int option;
stop_on_first_error : bool;
poll_forever : bool;
verbose : bool;
show_memory_allocations : bool;
show_actions_run : bool;
show_actions_run_verbose : bool;
show_checked : bool;
show_reflecting : bool;
show_considering : bool;
show_reconsidering : bool;
show_trace_messages : bool;
show_error_dependency_paths : bool;
prefix_time : bool;
report_long_cycle_times : Core.Time.Span.t option;
progress : bool;
dont_emit_kill_line : bool;
path_to_jenga_conf : string option;
brief_error_summary : bool;
no_server : bool;
goals : string list;
no_notifiers : bool;
no_fs_triggers : bool;
sandbox_actions : Db.Sandbox_kind.t;
gc : Gc.t;
}
val gc : t ‑> Gc.t
val sandbox_actions : t ‑> Db.Sandbox_kind.t
val no_fs_triggers : t ‑> bool
val no_notifiers : t ‑> bool
val goals : t ‑> string list
val no_server : t ‑> bool
val brief_error_summary : t ‑> bool
val path_to_jenga_conf : t ‑> string option
val dont_emit_kill_line : t ‑> bool
val progress : t ‑> bool
val report_long_cycle_times : t ‑> Core.Time.Span.t option
val prefix_time : t ‑> bool
val show_error_dependency_paths : t ‑> bool
val show_trace_messages : t ‑> bool
val show_reconsidering : t ‑> bool
val show_considering : t ‑> bool
val show_reflecting : t ‑> bool
val show_checked : t ‑> bool
val show_actions_run_verbose : t ‑> bool
val show_actions_run : t ‑> bool
val show_memory_allocations : t ‑> bool
val verbose : t ‑> bool
val poll_forever : t ‑> bool
val stop_on_first_error : t ‑> bool
val tenacious_concurrency : t ‑> int option
val d_number : t ‑> int
val f_number : t ‑> int
val j_number : t ‑> int
module Fields : sig ... end