Model Checking item is not displayed in TableView
Description
Environment
None
Activity
Show:

Fabian Vu December 14, 2020 at 11:55 AM
Bug should be fixed now. Reopen otherwise
Fixed
Details
Details
Assignee

Reporter

Priority
Created December 14, 2020 at 10:49 AM
Updated December 14, 2020 at 11:55 AM
Resolved December 14, 2020 at 11:55 AM
Sometimes, the Model Checking table is not refreshed after adding a Model Checking item