Frama-C API - MemVar
module type VarUsage = sig ... end
module Make (_ : VarUsage) (_ : Sigs.Model) : Sigs.Model
Create a mixed Hoare Memory Model from VarUsage instance.
MemVar
module type VarUsage = sig ... end
module Make (_ : VarUsage) (_ : Sigs.Model) : Sigs.Model
Create a mixed Hoare Memory Model from VarUsage instance.