no-wait

Forbid the use of the wait() function

Rule details

This rule prohibits wait statements.

Example of incorrect code for this rule:

main() {
  wait(Now > 1000);
}

Resources

• Rule source
• Test source