loonwerks / formal-methods-workbench

Other
20 stars 7 forks source link

Bug: Model Instance Not Refreshing? #16

Open jendavis opened 5 years ago

jendavis commented 5 years ago

On multiple occasions, I have experienced the following:

To remedy this, I've made it a habit to also type a space in the file and then Undo, just to make sure the refresh happens. This seems to work, but this should not be necessary. As long as this bug remains, it is possible for the results one gets to not correspond to the model one sees in the editor.

Unfortunately, this bug is not consistently reproducible. I just did a Project Clean and now I can't reproduce the issue. So I don't have a sample model I can point to for the developer to recreate the issue.