Display warnings in GUI

bmoth-mc / bmoth

Model Checker for (a subset of) classical B based on Z3

MIT License

9 stars 1 forks source link

Closed dohan closed 7 years ago

dohan commented 7 years ago

Warnings can be retrieved from a MachineNode or a FormulaNode by using the getWarnings() method.

wysiib commented 7 years ago

can we show the warnings in the UI? Maybe next to the "unsaved file" warning? That would be more useful than printing them to STDErr.