Fixing the bug when start_iter is greater than final hashCount

meelgroup / approxmc

Approximate Model Counter

Other

70 stars 26 forks source link

Fixing the bug when start_iter is greater than final hashCount #17

Closed AL-JiongYang closed 3 years ago

AL-JiongYang commented 3 years ago

If specify a start_iter greater than final hashCount, the program will abort now. The normal behaviour should be to continue searching from the given start_iter. It's caused by the mistaken initial value of hashPrev in searching. Fix now.

msoos commented 3 years ago

Sorry, this is the most brain dead implementation of any algorithm ever implemented and so I can't figure out if this change is correct. @kuldeepmeel please check. Thanks,

Mate

msoos commented 3 years ago

This option is no longer available. Closing.