Module `PostAnalysis.RunTestGen`

val name : string

Name of the treatment. (For xml logging.)

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

val title : string

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

Indicates whether the module is active.

val is_active : unit -> bool

Indicates whether the module is active.

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