= 1024" x-on:close-sidebar="sidebar=window.innerWidth >= 1024 && true">
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val verbose : bool ref
val lurette : bool ref
val suts : string list ref
val envs : string list ref
val oracles : string list ref
val suts_nd : string list ref
val envs_nd : string list ref
val oracles_nd : string list ref
val test_length : int ref
val output_file : string ref
val drdbg : bool ref
val options : (string * string list) list ref
val emacs_mode : bool ref
val display_gnuplot : bool ref
val display_sim2chro : bool ref
val dont_stop_on_oracle_error : bool ref
val overwrite_output : bool ref
val cov_file : string ref
val reset_cov_file : bool ref
val log : bool ref
val margin : int ref
val usage : string ref