Imports | Exports |
---|---|
Name: split_chars/3 Module: tools Name: split_complex_sep/3 Module: tools Name: add_internal_error/2 Module: error_manager Name: read_hex_str/2 Module: ltsmin/ltsmin_c_interface Name: free_str/1 Module: ltsmin/ltsmin_c_interface Name: loadfr/0 Module: ltsmin/ltsmin_c_interface Name: atom_charptr/2 Module: ltsmin/ltsmin_c_interface Name: generate_bindings/3 Module: ltsmin/ltsmin | Name: csv_to_trace/3 |
Description:
HACK: some values are not pretty printed into the #hexcode# representation
TODO: either fix LTSmin to do so or handle these cases separately (pk, 30.11.2017)