Project

General

Profile

« Previous | Next » 

Revision b4d9710b

Added by Xavier Thirioux over 9 years ago

- corrected bug in node reset clock
- cleaner (but heavier !) code generation scheme for automata

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@337 041b043f-8d7c-46b2-b46e-ef0dd855326e

View differences:

src/backends/C/c_backend_src.ml
144 144
     (Utils.fprintf_list ~sep:", " (pp_c_var_write m)) outputs 
145 145

  
146 146
let pp_machine_reset (m: machine_t) self fmt inst =
147
  let (node, static) = List.assoc inst m.minstances in
147
  let (node, static) =
148
    try
149
      List.assoc inst m.minstances
150
    with Not_found -> (Format.eprintf "pp_machine_reset %s %s %s: internal error@," m.mname.node_id self inst; raise Not_found) in
148 151
  fprintf fmt "%a(%a%t%s->%s);"
149 152
    pp_machine_reset_name (node_name node)
150 153
    (Utils.fprintf_list ~sep:", " Dimension.pp_dimension) static

Also available in: Unified diff