Hi Jay Sorry I set this as an assignment (safety only) so I cannot post the spec for another week. My fault I should have thought of this before I posted the question.
But if strong fairness on a step that exits a loop does not require the exiting step to eventually be taken then I have some fundamental errors as to what strong fairness means.
On Wednesday, 1 May 2019 12:22:57 UTC+12, Jay Parlar wrote:
Can you include the specs themselves? The definition of strong fairness is subtle, it’s not simply that it disallows looping. I don’t know that I’d be able to diagnose the problem without seeing the specs (others might be able to though).