Module Simulate

module Simulate: sig .. end
Symbolic simulation of DBA with low-level regions

val mallocs : Dba.malloc_status Dba_types.Region.Map.t Pervasives.ref
val run : ?dba_file:string option -> configuration_file:string option -> unit -> unit
run ~dba_file ~configuration_file () launches a simulation run using the ** DBA description in dba_file augmented by stubs and configurations from ** configuration_file *