Module Utils.Allocators

Allocators; used to allocate space in simulated memory

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 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