diff options
| author |  Checkmate50 <dgeisler50@gmail.com> | 2016-07-16 02:49:06 -0600 |
|---|---|---|
| committer | Checkmate50 <dgeisler50@gmail.com> | 2016-07-16 02:49:06 -0600 |
| commit | af8621462cf6b25a6dd29b63ed251629109d6bfb (patch) | |
| tree | 384c961c72fb0cadda51c05db24116896345c494 /Source/AbsInt | |
| parent | 7a0b581cd2e1ec9ce184f195fe0f8d2ea94255c2 (diff) | |
Changed the syntax reading of the float type
Diffstat (limited to 'Source/AbsInt')
| -rw-r--r-- | Source/AbsInt/IntervalDomain.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/AbsInt/IntervalDomain.cs b/Source/AbsInt/IntervalDomain.cs index 0dd78cbb..9d37476f 100644 --- a/Source/AbsInt/IntervalDomain.cs +++ b/Source/AbsInt/IntervalDomain.cs @@ -232,7 +232,7 @@ namespace Microsoft.Boogie.AbstractInterpretation } else if (ty.IsReal) { return Expr.Literal(Basetypes.BigDec.FromBigInt(n)); } else if (ty.IsFloat) { - return Expr.Literal(Basetypes.BigFloat.FromBigInt(n, ty.FloatExponent, ty.FloatMantissa)); + return Expr.Literal(Basetypes.BigFloat.FromBigInt(n, ty.FloatExponent, ty.FloatSignificand)); } else { Contract.Assume(ty.IsInt); return Expr.Literal(Basetypes.BigNum.FromBigInt(n)); |