You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
MiniZincIDE Version: 2.7.6
Systems: macOS 14.0, Windows 11
When implementing a model checker, I'm using trace_stdout to convey useful messages to my students.
Sadly, in the recent version the output window shows only the first line of the trace.
The problem doesn't occur when running checker from command line/terminal.
The text was updated successfully, but these errors were encountered:
MiniZincIDE Version: 2.7.6
Systems: macOS 14.0, Windows 11
When implementing a model checker, I'm using
trace_stdout
to convey useful messages to my students.Sadly, in the recent version the
output
window shows only the first line of the trace.The problem doesn't occur when running checker from command line/terminal.
The text was updated successfully, but these errors were encountered: