package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type

Definition of command-line & programmatic options for SSE

include Binsec.Cli.S
val is_enabled : unit -> bool
module Engine : sig ... end
type warnerror =
  1. | Error
  2. | Warn
  3. | Quiet
type search_heuristics =
  1. | Dfs
  2. | Bfs
  3. | Nurs

Seed for the random number generator