I have a simple spec "A grant must at some time have been preceded by a request"
If grant arrives and request never arrives before grant, the assertion fails. Need to look in the past for request, but would not know when request would have arrived.
$past only looks in the 'past' a fixed number of clocks. How do you make it look in the past forever?
Thanks much.
Ashok