Project

General

Profile

« Previous | Next » 

Revision 7d62bf41

Added by Pierre-Loïc Garoche almost 5 years ago

Merged code

View differences:

src/main_lustre_compiler.ml
90 90

  
91 91
let functional_backend () = 
92 92
  match !Options.output with
93
  | "horn" | "lustre" | "emf" | "acsl" -> true
93
  | "horn" | "lustre" | "acsl" -> true
94 94
  | _ -> false
95 95

  
96 96
let dynamic_checks () =
......
389 389
       let source_file = destname ^ ".emf" in (* Could be changed *)
390 390
       let source_out = open_out source_file in
391 391
       let fmt = formatter_of_out_channel source_out in
392
       EMF_backend.translate fmt prog;
392
       EMF_backend.translate fmt prog machine_code;
393 393
       ()
394 394
     end
395 395

  

Also available in: Unified diff