Module Binsec_cli_sse.OptionsSource

Definition of command-line & programmatic options for SSE

include Binsec_cli.Cli.S
include Binsec_cli.Cli.ENABLEABLE
val is_enabled : unit -> bool

is_enabled is a switch that is automatically set.

Can be set programmatically with enable and disable.

val enable : unit -> unit
val disable : unit -> unit
Sourcemodule Engine : sig ... end
Sourcetype warnerror = Binsec_sse.Exec.warnerror =
  1. | Error
  2. | Warn
  3. | Quiet
Sourcetype search_heuristics =
  1. | Dfs
  2. | Bfs
  3. | Nurs

Seed for the random number generator