maxwidth: int;
maxsize: int;
maxdepth: int;
+ maxgoalsizefactor : int;
timeout: float;
use_library: bool;
use_paramod: bool;
use_only_paramod : bool;
close_more : bool;
- dont_cache_failures: bool
+ dont_cache_failures: bool;
+ do_types: bool;
}
val default_flags : unit -> flags