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
I'll implement this on top of the minimization PR #623
edit: I just saw @LtdJorge opened a PR to fix it, but I would suggest we still do it on top of #623 because otherwise I'll just have to patch it anyway because it's a merge conflict.
We should make the simulator terminate with non-zero exit code so that external scripts, for example, can detect when it finds a problem.
The text was updated successfully, but these errors were encountered: