Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Execute All crashes when using a SAT solver and there are 1.. commands #25

Closed
grayswandyr opened this issue Jul 29, 2020 · 0 comments
Closed

Execute All crashes when using a SAT solver and there are 1.. commands #25

grayswandyr opened this issue Jul 29, 2020 · 0 comments
Labels
unbounded
Milestone
Electrum 2.1

Comments

@grayswandyr
Copy link
Collaborator

If you use unbounded scopes (1.. steps), then the Execute All command will fail if you have selected a bounded solver.
Suggestion: instead of crashing or stopping, skip such unexecutable commands and print a warning message about that.
@nmacedo nmacedo added this to the Electrum 2.1 milestone Jul 30, 2020
@nmacedo nmacedo closed this as completed Aug 3, 2020
@nmacedo nmacedo mentioned this issue Nov 13, 2020
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
unbounded
Projects
None yet
Milestone
Electrum 2.1
Development

No branches or pull requests
2 participants
@nmacedo @grayswandyr