diff options
Diffstat (limited to 'Source/Houdini/AbstractHoudini.cs')
| -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());
|