-
Notifications
You must be signed in to change notification settings - Fork 19
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Expose
stop_on_first_solution
as a CLI flag (#100)
In #13, a `stop_on_first_solution` flag was added to the base search algorithm class, but so far it was not available when using the search CLI. As this option can be quite useful (for e.g. running a quick check to assess the difficulty of a given set of targets), this PR adds it as a CLI option as well.
- Loading branch information
Showing
2 changed files
with
3 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters