Project

General

Profile

« Previous | Next » 

Revision 6d1693b9

Added by LĂ©lio Brun 7 months ago

work on spec generation almost done

View differences:

src/plugins/scopes/scopes.ml
220 220
                        
221 221
let update_machine main_node machine scopes =
222 222
  let stateassign (vdecl_mem, vdecl_orig) =
223
    mkinstr True
223
    mkinstr
224 224
    (MStateAssign (vdecl_mem, mk_val (Var vdecl_orig) vdecl_orig.var_type))
225 225
  in
226 226
  let selection =
......
248 248
    mstep = { 
249 249
      machine.mstep with 
250 250
        step_instrs = machine.mstep.step_instrs
251
        @ (mkinstr True (MComment "Registering all flows"))::(List.map stateassign new_mems)
251
        @ (mkinstr (MComment "Registering all flows"))::(List.map stateassign new_mems)
252 252
          
253 253
    }
254 254
  }

Also available in: Unified diff