Allocators (gillian.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 = Gillian.Utils.Allocators.S

module type S_with_stringify = Gillian.Utils.Allocators.S_with_stringify

module Basic = Gillian.Utils.Allocators.Basic

A basic int allocator

module Make_with_prefix = Gillian.Utils.Allocators.Make_with_prefix

Wraps an allocator A with a string prefix