Module Export_trace_nts

module Export_trace_nts: sig .. end
Parses the table exported by the flatac plugin to rebuild the correspondance between the ecfg sid and frama-c sid as well as the c language statement.

module INtstrace: Expand_eldarica_compressed_bloc.Make(Ntsint.P)
val openfile_with_guard : string -> Pervasives.in_channel
val get_trace_from_file : string -> Trace_types.trace
val nts_lib_standards_subsystems : Ntsint.Nts_int.nts_system
val get_nts_from_file : string -> Ntsint.Nts_int.nts_system
val import_nts_lib_in : Ntsint.Nts_int.nts_system ->
Ntsint.Nts_int.nts_system -> Ntsint.Nts_int.nts_system