Skip to content

Update stale execution information

Fabian Kosmale requested to merge fix_assertion_undo into react-actions-memorymodel

If a user has asserted multiple relations or values, he might repair the state by removing any of them, not necessarily the last one. In that case, we would get a list of valid executions, however the - now outdated - error message would still persist. Fix that by iterating over the partial execution array and marking all of them as confirmed when we get a new execution. This is slightly wasteful, because we update the array for every new execution we get, but realistically speaking this pales compared to the necessary rendering, and there won't be many executions.

Test plan:

Without this patch:

  • The error message is still there.

With this patch:

  • The error is no longer there, as it should be.

Merge request reports

Loading