Revision 990210f3 src/main_lustre_testgen.ml
| src/main_lustre_testgen.ml | ||
|---|---|---|
| 172 | 172 |
| Corelang.Error _ (*| Task_set.Error _*) |
| 173 | 173 |
| Causality.Error _ -> exit 1 |
| 174 | 174 |
| Sys_error msg -> (eprintf "Failure: %s@." msg) |
| 175 |
| exc -> (Utils.track_exception (); raise exc)
|
|
| 175 |
| exc -> (track_exception (); raise exc) |
|
| 176 | 176 |
|
| 177 | 177 |
(* Local Variables: *) |
| 178 | 178 |
(* compile-command:"make -C .." *) |
Also available in: Unified diff