In reply to dave_59:
That looked promising, but adding the “strong” keyword to my implication did not lead the the still running assertion being flagged at the end of the simulation?
In reply to dave_59:
That looked promising, but adding the “strong” keyword to my implication did not lead the the still running assertion being flagged at the end of the simulation?