Flag assertion still running at end of simulation as an error

[dave_59]

In reply to snixon:

See SVA : Property is a tautology | Verification Academy