Module PostAnalysis.RunCertif

module RunCertif: 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