diff options
| author |  akashlal <akashl@AKASHL-LT.fareast.corp.microsoft.com> | 2015-04-21 12:18:58 +0530 |
|---|---|---|
| committer | akashlal <akashl@AKASHL-LT.fareast.corp.microsoft.com> | 2015-04-21 12:18:58 +0530 |
| commit | 95a9ed0282811aa2bc3170f41b8b63508918b28e (patch) | |
| tree | 556eed02c855cf72241dc54b7d48b74d4a9bf58d /Source/Houdini | |
| parent | 74c6d4d2ce3a2831780be513fe792e436dd8fe12 (diff) | |
Better error message
Diffstat (limited to 'Source/Houdini')
| -rw-r--r-- | Source/Houdini/AbstractHoudini.cs | 13 |
1 files changed, 12 insertions, 1 deletions
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());
|