xSTAMINA (STAMINA GUI) - Laundry List

[ifndefJOSH]

Current list of XStamina Bugs:

• Cannot build model multiple times. Crashes.
• Does not handle PRISM syntax error. Crashes.
• Does not handle any exceptions thrown in Storm. Crashes.
  • Will need to edit StaminaMessages::errorAndExit because GUI should not exit.
• Sometimes after saving model file, properties file indicates it's been "saved" although it has not.

Unimplemented:

• Log viewer. If you need STAMINA's logs you can still open xstamina from a terminal and monitor your terminal. I don't know how the best way to capture output from StaminaMessages into a QPlainTextEdit.
• Several of the actions/Menubar buttons don't yet have implementation behind them, although most of the core functionality is there
• The "model tree" to the left of the model file editor is not yet populated with information about the model
• Label editor
• Constants editor
• Early-terminated states viewer
• Most of the preferences not related to model-checking
• Stamina config file to save preferences to.

[ifndefJOSH]

Bugs (checked means fixed):

• If you load and build one model, and then load and build another, the results on the second one are incorrect. This does not happen on the first run
• Multiple properties in the same file sometimes get wrong results on the second and beyond properties.
• Random crashes sometimes
• On open, it thinks that changes have been made
• Crashes if there is a syntax error in property or model file on populate model info tree
• Crashes on attempt to rebuild existing model
• When checking against already built model, early terminated states table is re-populated
• On close, although it asks if you want to save if you have unsaved changes, does not show the save dialog properly.

[ifndefJOSH]

Perhaps we should message the FLUENT Slack asking others to find bugs

[ifndefJOSH]

If you load and build one model, and then load and build another, the results on the second one are incorrect. This does not happen on the first run

I think 1739f3c will fix this