package owi

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type t = {

choices : int;
mutable symbol_set : Smtml.Symbol.t list;
pc : Symbolic_value.vbool list;
memories : Symbolic_memory.collection;
tables : Symbolic_table.collection;
globals : Symbolic_global.collection;
(*
Breadcrumbs represent the list of choices that were made so far. They identify one given symbolic execution trace.
*)
breadcrumbs : int32 list;

}

val pc : t -> Symbolic_value.vbool list

val memories : t -> Symbolic_memory.collection

val tables : t -> Symbolic_table.collection

val globals : t -> Symbolic_global.collection

val breadcrumbs : t -> int32 list

val create : unit -> t

val clone : t -> t