mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 16:45:31 +00:00
Code Activity

use std::pow

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2024-08-26 10:32:42 -07:00
parent e3b92fec82
commit eb555ee0a7
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/ast/sls/sls_arith_base.cpp
View file

@ -43,6 +43,7 @@ Done:
#include "ast/sls/sls_arith_base.h"
#include "ast/ast_ll_pp.h"
#include "ast/ast_pp.h"
#include <cmath>
namespace sls {
@ -1740,7 +1741,7 @@ namespace sls {
else if (result == 0)
return 0.2;
for (int i = m_prob_break.size(); i <= breaks; ++i)
m_prob_break.push_back(pow(m_config.cb, -i));
m_prob_break.push_back(std::pow(m_config.cb, -i));
return m_prob_break[breaks];
}