Module Base

val on_exit : TransSys.t option -> unit

Clean up before exit

val main : 'a InputSystem.t -> Analysis.param -> TransSys.t -> unit

Runs the base instance.