module RunCertif:PostAnalysis
val name : string
Title of the treatment. (For plain text logging.)
val title : string
val is_active : unit -> bool
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