package soteria

You can search for identifiers within the package.

in-package search v0.2.0

Soteria is a toolkit for writing symbolic bug-finding tools

Install

dune-project

Dependency

github.com Readme Changelog Edit opam file Versions (2)

Authors

Maintainers

Sources

v0.2.3.tar.gz

md5=22e0fc3f97555ac35b96fae10817a887

sha512=10457c9d1302e3f3018dca652cdf81f0cdfd461a79eca1a8a8b754e964a47f7f35c10a8c07aff8f5193ee7e794440635d788d91925ce75fb8280b60b4f0d6663

doc/soteria/Soteria/Symex/Fuel_gauge/index.html

Module `Symex.Fuel_gauge`

type exhaust =

| Exhausted
| Not_exhausted

module Fuel_value : sig ... end

type t = {

steps : Fuel_value.t;
(*
The number of steps that can be taken per branch.
*)
branching : Fuel_value.t;
(*
Number of times branching happens. Careful, the total number of branches is potentially exponential in the number of branchings
*)

}

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

val show : t -> Ppx_deriving_runtime.string

val infinite : t

val is_infinite : t -> bool

val consume_fuel_steps : int -> t -> exhaust * t

val consume_branching : int -> t -> exhaust * t

val take_branches : 
  'a Soteria.Soteria_std.List.t ->
  t ->
  'a Soteria.Soteria_std.List.t * t

Receives a list and a fuel gauge and returns a list that contains at most as many elements as the fuel gauge allows. It also returns the updated fuel gauge.

module Cli : sig ... end