Definition of command-line & programmatic options for SSE
module MaxDepth : Cli.INTEGERmodule JumpEnumDepth : Cli.INTEGERmodule Randomize : Cli.BOOLEANmodule KeepGoing : Cli.BOOLEANmodule SMT_dir : Cli.STRING_OPTmodule AddressTraceFile : Cli.STRING_OPTmodule AvoidAddresses : Cli.STRING_SETmodule GoalAddresses : Cli.STRING_SETmodule LoadSections : Cli.STRING_SETmodule LoadROSections : Cli.BOOLEANmodule MemoryFile : Cli.STRING_OPTmodule ScriptFiles : Cli.STRING_LISTmodule Comment : Cli.BOOLEANmodule Address_counter : sig ... endmodule Visit_address_counter :
Cli.CHECKABLE with type t = Address_counter.t listmodule Search_heuristics : Cli.GENERIC with type t = search_heuristicsmodule Solver_call_frequency : Cli.INTEGERDefine the frequency -- in terms of number of conditionals -- with which we call the solver
module Seed : Cli.INTEGER_OPTSeed for the random number generator
module Directives : Cli.GENERIC with type t = Directive.t listmodule Dot_filename_out : Cli.STRING_OPTmodule SMT_log_directory : Cli.STRING