Project

General

Profile

« Previous | Next » 

Revision 6d1693b9

Added by LĂ©lio Brun 7 months ago

work on spec generation almost done

View differences:

src/backends/Ada/ada_backend_adb.ml
85 85
    match get_instr_desc instr with
86 86
      (* no reset *)
87 87
      | MNoReset _ -> ()
88
      (* TODO: handle clear_reset *)
89
      | MClearReset -> ()
88 90
      (* reset  *)
89
      | MReset i when List.mem_assoc i typed_submachines ->
91
      | MSetReset i when List.mem_assoc i typed_submachines ->
90 92
          let (substitution, submachine) = get_instance i typed_submachines in
91 93
          let pp_package = pp_package_name_with_polymorphic substitution submachine in
92 94
          let args = if is_machine_statefull submachine then [[pp_state i]] else [] in
......
149 151
  **)
150 152
  let pp_reset_definition env typed_submachines fmt (m, m_spec_opt) =
151 153
    let build_assign = function var ->
152
      mkinstr Spec_types.True (MStateAssign (var, mk_default_value var.var_type))
154
      mkinstr (MStateAssign (var, mk_default_value var.var_type))
153 155
    in
154 156
    let env, memory = match m_spec_opt with
155 157
      | None -> env, m.mmemory

Also available in: Unified diff