Add witness missing verdict to YAML witness unassume

Better than "EXCEPTION (Failure)" as verdict.
goblint · Jun 25, 2024 · 9fd0fd5 · 9fd0fd5
1 parent bc3fac8
commit 9fd0fd5
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/analyses/unassumeAnalysis.ml b/src/analyses/unassumeAnalysis.ml
@@ -85,7 +85,9 @@ struct
 
     let yaml = match Yaml_unix.of_file (Fpath.v (GobConfig.get_string "witness.yaml.unassume")) with
       | Ok yaml -> yaml
-      | Error (`Msg m) -> failwith ("Yaml_unix.of_file: " ^ m)
+      | Error (`Msg m) ->
+        Logs.error "Yaml_unix.of_file: %s" m;
+        Svcomp.errorwith "witness missing"
     in
     let yaml_entries = yaml |> GobYaml.list |> BatResult.get_ok in