Project

General

Profile

Revision 04a188ec src/main_lustre_verifier.ml

View differences:

src/main_lustre_verifier.ml
133 133
    Arg.parse options anonymous usage
134 134
  with
135 135
  | Parse.Error _
136
  | Types.Error (_,_) | Clocks.Error (_,_) -> exit 1
137
  | Corelang.Error (_ (* loc *), kind) (*| Task_set.Error _*) -> exit (Error.return_code kind)
136
    | Types.Error (_,_) | Clocks.Error (_,_) -> exit 1
137
  | Error.Error (loc , kind) (*| Task_set.Error _*) -> 
138
     Error.pp_error loc (fun fmt -> Error.pp_error_msg fmt kind);
139
     exit (Error.return_code kind)
138 140
  (* | Causality.Error _  -> exit (Error.return_code Error.AlgebraicLoop) *)
139 141
  | Sys_error msg -> (eprintf "Failure: %s@." msg); exit 1
140 142
  | exc -> (track_exception (); raise exc) 
141 143

  
142
(* Local Variables: *)
143
(* compile-command:"make -C .." *)
144
(* End: *)
144
             (* Local Variables: *)
145
             (* compile-command:"make -C .." *)
146
             (* End: *)

Also available in: Unified diff