Improve error message for AmbiguousVars condition in LLVM overrides.

Fixes #691.
GaloisInc · May 17, 2020 · 5b0a904 · 5b0a904
1 parent 5de5be2
commit 5b0a904
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/SAWScript/Crucible/Common/Override.hs b/src/SAWScript/Crucible/Common/Override.hs
@@ -180,10 +180,10 @@ ppOverrideFailureReason ::
   ) => OverrideFailureReason ext -> PP.Doc
 ppOverrideFailureReason rsn = case rsn of
   AmbiguousPointsTos pts ->
-    PP.text "ambiguous collection of points-to assertions" PP.<$$>
+    PP.text "LHS of points-to assertion(s) not reachable via points-tos from inputs/outputs:" PP.<$$>
     (PP.indent 2 $ PP.vcat (map PP.pretty pts))
   AmbiguousVars vs ->
-    PP.text "ambiguous collection of variables" PP.<$$>
+    PP.text "Fresh variable(s) not reachable via points-tos from function inputs/outputs:" PP.<$$>
     (PP.indent 2 $ PP.vcat (map MS.ppTypedTerm vs))
   BadTermMatch x y ->
     PP.text "terms do not match" PP.<$$>