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 listval memories : t -> Symbolic_memory.collectionval tables : t -> Symbolic_table.collectionval globals : t -> Symbolic_global.collectionval breadcrumbs : t -> int32 listval create : unit -> t