As mentioned in the title and the issue #80, I'm adding a new interface for users to add their stopping criteria. In order to minimize the unnecessary code changes, I simply add a function to measurement interface and pass it to the search driver.
The other change is the original convergence_criteria. Originally it looks at either test count or elapsed time. Now it checks total three criteria in the following order: elapsed time -> test count -> extra criteria. A user is able to specify any of them.
As mentioned in the title and the issue #80, I'm adding a new interface for users to add their stopping criteria. In order to minimize the unnecessary code changes, I simply add a function to measurement interface and pass it to the search driver.
The other change is the original convergence_criteria. Originally it looks at either test count or elapsed time. Now it checks total three criteria in the following order: elapsed time -> test count -> extra criteria. A user is able to specify any of them.