Module Aorai_register


module Aorai_register: sig .. end
Removes temorary files if any.

val promela_file : string Pervasives.ref
val ya_file : Aorai_option.Ya.t Pervasives.ref
val c_file : string Pervasives.ref
val output_c_file : Aorai_option.Output_C_File.t Pervasives.ref
val ltl_tmp_file : string Pervasives.ref
val ltl_file : Aorai_option.Ltl_File.t Pervasives.ref
val dot_file : string Pervasives.ref
val root : string Pervasives.ref
val generatesCFile : bool Pervasives.ref
val ltl2ba_params : string
val toBeRemoved : string list Pervasives.ref
val ltl_to_ltlLight : string -> string -> unit
val load_ya_file : string -> unit
val load_promela_file : string -> unit
val load_promela_file_withexps : string -> unit
val display_status : unit -> unit
val cleanup_files : unit -> unit
Removes temorary files if any.
val init_file_names : unit -> bool
val init_test : unit -> unit
val printverb : string -> unit
val run : unit -> unit
val run : unit -> unit
val main : 'a -> unit