Closed odow closed 9 months ago
This likely needs Base.Libc.flush_cstdio()
somewhere
I could not reproduce this
so maybe I was just being an idiot and running with set_silent
?
Ah, it's because the model was already solved:
Maybe we should add a print if this is the case
Says @frapac