mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 10:25:18 +00:00
Code Activity

Merge pull request #4585 from iscottb122/dotnet_fp_significand

Browse source 
Return significand bits correctly (dotnet API). Fixes #4584
This commit is contained in:
Nikolaj Bjorner 2020-07-22 09:59:30 -07:00 committed by GitHub
parent ed58175e1b b6867d69c2
commit 640cf1809d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/api/dotnet/FPExpr.cs
View file

@ -38,7 +38,7 @@ namespace Microsoft.Z3
/// <summary>
/// The number of significand bits.
/// </summary>
public uint SBits { get { return ((FPSort)Sort).EBits; } }
public uint SBits { get { return ((FPSort)Sort).SBits; } }
#region Internal
/// <summary> Constructor for FPExpr </summary>