Project

General

Profile

Revision e8f55c25 src/main_lustre_verifier.ml

View differences:

src/main_lustre_verifier.ml
56 56
  let module Verifier = (val verifier : VerifierType.S) in
57 57

  
58 58
  decr Options.verbose_level;
59
  let params = Verifier.get_normalization_params () in
59 60
  (* Normalizing it *)
60 61
  let prog, dependencies = 
61 62
    Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v 2>.. Phase 1 : Normalisation@,");
62 63
    try
63 64
      incr Options.verbose_level;
64
      let params = Verifier.get_normalization_params () in
65 65
      decr Options.verbose_level;
66 66
      Compiler_stages.stage1 params prog dirname basename extension
67 67
    with Compiler_stages.StopPhase1 prog -> (
......
73 73

  
74 74
  Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v 2>.. Phase 2 : Machines generation@,");
75 75

  
76
  let machine_code = 
77
    Compiler_stages.stage2 prog 
76
  let prog, machine_code = 
77
    Compiler_stages.stage2 params prog 
78 78
  in
79 79

  
80 80
  Log.report ~level:1 (fun fmt -> fprintf fmt "@]@ ");

Also available in: Unified diff