diff options
author | Checkmate50 <dgeisler50@gmail.com> | 2016-07-19 11:14:41 -0600 |
---|---|---|
committer | Checkmate50 <dgeisler50@gmail.com> | 2016-07-19 11:14:41 -0600 |
commit | f3f704edfb2cd1021d811050c72694767710217f (patch) | |
tree | 1cb00f1844b7a6d49af58113f3b77a5f1dfec788 /Source/AbsInt | |
parent | af8621462cf6b25a6dd29b63ed251629109d6bfb (diff) |
Added and briefly tested the updated syntax. NaN/oo not supported yet
Diffstat (limited to 'Source/AbsInt')
-rw-r--r-- | Source/AbsInt/IntervalDomain.cs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/AbsInt/IntervalDomain.cs b/Source/AbsInt/IntervalDomain.cs index 9d37476f..1d35b735 100644 --- a/Source/AbsInt/IntervalDomain.cs +++ b/Source/AbsInt/IntervalDomain.cs @@ -695,10 +695,10 @@ namespace Microsoft.Boogie.AbstractInterpretation Lo = floor; Hi = ceiling; } else if (node.Val is BigFloat) { - BigNum floor, ceiling; + BigInteger floor, ceiling; ((BigFloat)node.Val).FloorCeiling(out floor, out ceiling); - Lo = floor.ToBigInteger; - Hi = ceiling.ToBigInteger; + Lo = floor; + Hi = ceiling; } else if (node.Val is bool) { if ((bool)node.Val) { // true |