sc_start

All,

Philipp writes:

5.3.4.2 Function sc_start

  "When function sc_start is called with a zero-valued time argument, the
scheduler shall run for one delta cycle,?"

 Should there be a warning, if no activity is due in that delta cycle
(sc_pending_activity_at_current_time() == false)? Otherwise, one can
easily run into an endless loop?

Opinions?

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.