Commit d9df191c authored by Kučera Petr RNDr. Ph.D.'s avatar Kučera Petr RNDr. Ph.D.
Browse files

dpelim gcc warning

parent ca6472d9
......@@ -45,8 +45,8 @@ struct config_t
SUBool::DPEliminator::INCREASE_POLICY::AFTER_BOUND};
unsigned minimize_size_step{5000};
double minimize_size_factor{0.6};
unsigned max_increase;
long double factor;
unsigned max_increase{SUBool::DPElimEliminationOptions::kDefaultMaxIncrease};
long double factor{SUBool::DPElimEliminationOptions::kDefaultFactor};
};
void
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment