We're updating the issue view to help you get more done. 

Model Checking Status not reset to unknown when model changed and reloaded

Description

When model checking either successfully or with a counter example one gets a feedback in the Model Checking tab as folllows:

When changing the model, e.g., by changing the invariant, saving and re-loading, I would expect the "Status" to go from ok/ko to unknown (blue question mark). This usually does not happen, the status stays as for the last model check.

Environment

None

Status

Assignee

Fabian Vu

Reporter

Michael Leuschel

Labels

None

Priority

Major