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