Project

General

Profile

« Previous | Next » 

Revision c4780a6a

Added by LĂ©lio Brun 7 months ago

work on new reset functions generation

View differences:

src/backends/EMF/EMF_common.ml
316 316
     fprintf fmt "@]}"
317 317
  )
318 318
  | Fun _ -> eprintf "Fun expression should have been normalized: %a@." (pp_val m) v ; assert false (* Invalid argument *)
319
  | ResetFlag ->
320
    (* TODO: handle reset flag *)
321
    assert false
319 322

  
320 323
and pp_emf_cst_or_var_list m =
321 324
  Utils.fprintf_list ~sep:",@ " (pp_emf_cst_or_var m)

Also available in: Unified diff