Frama-C:
Plug-ins:
Libraries:

Frama-C API - Domain_store

module type InputDomain = sig ... end
module type S = sig ... end

Automatic storage of the states computed during the analysis.

module Make (Domain : InputDomain) : S with type t := Domain.t