In this example, at
https://verificationacademy.com/cookbook/stimulus/signal_wait
forever begin
m_cfg.wait_for_error; // Blocks until an error occurs
no_error = 0;
m_cfg.wait_for_no_error; // Blocks until the error is removed
// ### Code is missing here, no_error should be set here
end
The missing code is
no_error = 1;
I am assuming that coverage can be collected again once the error is cleared.
If it cannot be collected after the first error, there is no reason to loop back
after the first error