Module PostAnalysis.RunCertif

val name : string

Name of the treatment. (For xml logging.)

val title : string

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

val is_active : unit -> bool

Indicates whether the module is active.

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

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.)