Skip to content
Snippets Groups Projects
Commit 7d80a26e authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[Metrics] fix error message

Use same pattern as in metrics_acsl.ml.
parent a96b80f2
No related branches found
No related tags found
No related merge requests found
...@@ -747,9 +747,9 @@ let compute_on_cilast ~libc = ...@@ -747,9 +747,9 @@ let compute_on_cilast ~libc =
Format.fprintf fmt "@." (* ensure the file ends with a newline *) Format.fprintf fmt "@." (* ensure the file ends with a newline *)
); );
close_out oc; close_out oc;
with Sys_error _ -> with Sys_error s ->
Metrics_parameters.failure "Cannot open file %a.@." Metrics_parameters.abort "Cannot open file %a (%s)."
Filepath.Normalized.pretty out_fname Filepath.Normalized.pretty out_fname s
end end
else Metrics_parameters.result "%a" pp_with_funinfo cil_visitor else Metrics_parameters.result "%a" pp_with_funinfo cil_visitor
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment