Project

General

Profile

« Previous | Next » 

Revision f76eae4f

Added by Pierre-Loïc Garoche over 7 years ago

first solution to address very large identifiers in node names, logs, and generated binaries

View differences:

src/backends/C/c_backend_main.ml
60 60

  
61 61
let print_main_inout_declaration basename fmt m =
62 62
  let mname = m.mname.node_id in
63
  (* TODO: find a proper way to shorthen long names. This causes segfault in the binary when trying to fprintf in them *)
64
  let mname = if String.length mname > 50 then string_of_int (Hashtbl.hash mname) else mname in
63 65
  fprintf fmt "/* Declaration of inputs/outputs variables */@ ";
64 66
  List.iteri 
65 67
    (fun idx v ->

Also available in: Unified diff