package binsec

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

Module State.Cookie

type t

A cookie contains the configuration elements to be used to reason on the symbolic formula (S.predicate).

It is passed to the functions S.check_sat and S.enumerate. It can be configured via the extension implemented by the state (see feature and S.more). For instance, SMT solver based states can use SetSMTSolver to select a different solver backend.

val default : unit -> t

default creates a cookie with default parameters.