Use an exception to leave Solving_loop.process_source
.
#2999
Job | Run time |
---|---|
5m 0s | |
5m 0s |
Solving_loop.process_source
.
#2999
Job | Run time |
---|---|
5m 0s | |
5m 0s |