Module PostAnalysis

module PostAnalysis: sig .. end
Signature of modules for post-analysis treatment.

module type PostAnalysis = sig .. end
module RunTestGen: PostAnalysis 
module RunContractGen: PostAnalysis 
module RunRustGen: PostAnalysis 
module RunInvLog: PostAnalysis 
module RunCertif: PostAnalysis 
val run : 'a InputSystem.t ->
Scope.t ->
(Lib.kind_module list ->
'a InputSystem.t -> Analysis.param -> TransSys.t -> unit) ->
Analysis.results -> unit
Runs the post-analysis things on a system and its results.