Use an exception to leave Solving_loop.process_source
.
#2835
This job succeeded
Loading
Solving_loop.process_source
.
#2835