search

NTU-ALComLab / ssatABC

Stochastic SAT solver within ABC
Other
5 stars 2 forks source link

Fix parseFloat overflow issue #6

Closed yen-shi closed 4 years ago

yen-shi commented 4 years ago

Use std::string as a temporary buffer to collect all digits, and use std::stod() to parse the floating-point numbers. Print a warning message when there are more than 15 digits after the decimal point.

yen-shi commented 4 years ago

Now It's only allowed to pass floating-point values less than 1.0 to parseFloat(), and maybe we can discuss whether it's reasonable.

yen-shi commented 4 years ago

I have addressed the comments and open a new PR here: https://github.com/nianzelee/ssatABC/pull/7