From 95a9ed0282811aa2bc3170f41b8b63508918b28e Mon Sep 17 00:00:00 2001
From: akashlal <akashl@AKASHL-LT.fareast.corp.microsoft.com>
Date: Tue, 21 Apr 2015 12:18:58 +0530
Subject: Better error message

---
 Source/Houdini/AbstractHoudini.cs | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

(limited to 'Source/Houdini')

diff --git a/Source/Houdini/AbstractHoudini.cs b/Source/Houdini/AbstractHoudini.cs
index de3d3779..210d9f6c 100644
--- a/Source/Houdini/AbstractHoudini.cs
+++ b/Source/Houdini/AbstractHoudini.cs
@@ -450,7 +450,18 @@ namespace Microsoft.Boogie.Houdini {
                 }
             }
 
-            var val = prover.Evaluate(arg);
+            object val;
+
+            try
+            {
+                val = prover.Evaluate(arg);
+            }
+            catch (ProverInterface.VCExprEvaluationException)
+            {
+                Console.WriteLine("AbsHoudni: Error evaluating expression {0}", arg);
+                throw;
+            }
+
             if (val is int || val is bool || val is Microsoft.Basetypes.BigNum)
             {
                 return model.MkElement(val.ToString());
-- 
cgit v1.2.3