diff options
author | akashlal <unknown> | 2014-04-16 15:12:45 +0530 |
---|---|---|
committer | akashlal <unknown> | 2014-04-16 15:12:45 +0530 |
commit | e62b2541191f6b7a05dbfb516fb0894674b23d48 (patch) | |
tree | e359894ec6a8b2f9f1435ff2ea6a77b71dd3c44c | |
parent | feb7e707b9676ddc076e2e1cae5de884d29ac013 (diff) |
Minor fix to abshoudini
-rw-r--r-- | Source/Houdini/AbstractHoudini.cs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Source/Houdini/AbstractHoudini.cs b/Source/Houdini/AbstractHoudini.cs index 9f73e4a1..57ef660d 100644 --- a/Source/Houdini/AbstractHoudini.cs +++ b/Source/Houdini/AbstractHoudini.cs @@ -3724,6 +3724,13 @@ namespace Microsoft.Boogie.Houdini { {
return (elem as Model.Boolean).Value;
}
+ if (elem is Model.DatatypeValue && (elem as Model.DatatypeValue).Arguments.Length == 1 &&
+ (elem as Model.DatatypeValue).ConstructorName == "-" &&
+ (elem as Model.DatatypeValue).Arguments[0] is Model.Integer)
+ {
+ // negative number as "-" @ int
+ return Microsoft.Basetypes.BigNum.FromInt(-1 * ((elem as Model.DatatypeValue).Arguments[0] as Model.Integer).AsInt());
+ }
throw new NotImplementedException("Cannot yet handle this Model.Element type");
}
|