package dolmen_loop

  1. Overview
  2. Docs
type t

The type of values recording options for the current run.

val time_limit : t -> float

The time limit for one original statement (in seconds).

val size_limit : t -> float

The size limit for one original statement (in octets).

OCaml

Innovation. Community. Security.