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
Fabian VuReporter
Fabian VuPriority
MajorCreated 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