Project

General

Profile

Revision 04a188ec src/main_lustre_testgen.ml

View differences:

src/main_lustre_testgen.ml
191 191
  with
192 192
  | Parse.Error _
193 193
  | Types.Error (_,_) | Clocks.Error (_,_)
194
  | Corelang.Error _ (*| Task_set.Error _*)
194
  | Error.Error _ (*| Task_set.Error _*)
195 195
  | Causality.Error _ -> exit 1
196 196
  | Sys_error msg -> (eprintf "Failure: %s@." msg)
197 197
  | exc -> (track_exception (); raise exc)

Also available in: Unified diff