mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

fix for biased flag on get_numeral_exponent_string

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2016-10-25 14:15:43 +01:00
parent dc78a04135
commit 963dfad10e
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/api_fpa.cpp
View file

@ -1087,7 +1087,7 @@ extern "C" {
mpfm.is_denormal(val) ? mpfm.mk_min_exp(ebits) :
mpfm.is_inf(val) ? mpfm.mk_top_exp(ebits) :
mpfm.bias_exp(ebits, mpfm.exp(val));
if (!biased) mpfm.unbias_exp(ebits, exp);
if (!biased) exp = mpfm.unbias_exp(ebits, exp);
std::stringstream ss;
ss << exp;
return mk_c(c)->mk_external_string(ss.str());