Project

General

Profile

Revision d5fe9ac9 src/machine_code.ml

View differences:

src/machine_code.ml
377 377
     (if Stateless.check_node node_f then si else MReset o :: si),
378 378
     Utils.IMap.add o call_f j,
379 379
     d,
380
     reset_instance node args o r eq.eq_rhs.expr_clock @
380
     (if Stateless.check_node node_f
381
      then []
382
      else reset_instance node args o r call_ck) @
381 383
       (control_on_clock node args call_ck (MStep (var_p, o, vl))) :: s)
382 384

  
383 385
   (* special treatment depending on the active backend. For horn backend, x = ite (g,t,e)

Also available in: Unified diff