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