mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-24 01:25:31 +00:00
Code Activity

removed debug output

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2016-10-28 12:22:28 +01:00
parent 253cfeb0af
commit 9c16d16bc8
1 changed files with 1 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/api/api_fpa.cpp
View file

@ -1154,10 +1154,8 @@ 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 (mpfm.is_normal(val) && !biased) {
std::cout << "unbiassing" << std::endl;
if (mpfm.is_normal(val) && !biased)
exp = mpfm.exp(val);
}
app * a = mk_c(c)->bvutil().mk_numeral(exp, ebits);
mk_c(c)->save_ast_trail(a);