gillian » Gillian » Utils » Allocators

Module Utils.Allocators

val register_resetter : (unit -> unit) -> unit

Allocators's resetters should be registered so that Bulk Execution can reset them at every start

val reset_all : unit -> unit

Resets all registered allocators

module type S = S

module type S_with_stringify = S_with_stringify

module Basic () : sig ... end

A basic int allocator

module Make_with_prefix (A : S_with_stringify) (P : sig ... end) : sig ... end

Wraps an allocator A with a string prefix