coverify/vlang — pull request #12 by coverify (2014-02-24 17:21:57+00:00)
Title: For timed waits, now we have a dedicated event inside every Process.

We should be doing the same for timed nextTrigger too.