Project

General

Profile

« Previous | Next » 

Revision 2f44a4cc

Added by Pierre-Loïc Garoche over 10 years ago

Is it working?

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/horn_encoding@150 041b043f-8d7c-46b2-b46e-ef0dd855326e

View differences:

src/main_lustre_compiler.ml
258 258
      let fmt = Format.std_formatter in
259 259
      Horn_backend.translate fmt basename normalized_prog machine_code
260 260
    end
261
    | _ -> assert false
261 262
  in
262 263
  report ~level:1 (fun fmt -> fprintf fmt ".. done !@ @]@.");
263 264
  (* We stop the process here *)

Also available in: Unified diff