Model Checking item is not displayed in TableView

Description

Sometimes, the Model Checking table is not refreshed after adding a Model Checking item

Environment

None

Activity

Show:

Fabian Vu December 14, 2020 at 11:55 AM

Bug should be fixed now. Reopen otherwise

Fixed

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