Module PostAnalysis.RunContractGen

module RunContractGen: PostAnalysis 

val name : string
Name of the treatment. (For xml logging.)

Title of the treatment. (For plain text logging.)

val title : string
Indicates whether the module is active.
val is_active : unit -> bool
Performs the treatment.

Note that the param passed is not exactly the one used for the analysis. The uid of the param was changed so that it is safe to use it to generate systems. (No name clashes.)

val run : 'a InputSystem.t ->
Analysis.param ->
(Lib.kind_module list ->
'a InputSystem.t -> Analysis.param -> TransSys.t -> unit) ->
Analysis.results -> unit Res.res