1666-2011-compliance/sc_start_starvation/sc_start_starvation.cpp

56     sc_assert( sc_time_to_pending_activity() == sc_time(250, SC_NS) );
58     ev2.notify(150, SC_NS);
62     sc_assert( sc_time_to_pending_activity() == sc_time(150, SC_NS) );
71   ev.notify(250, SC_NS);
76   sc_assert( sc_time_to_pending_activity() == sc_time(250, SC_NS) );
80   sc_start(100, SC_NS);
82   sc_assert( sc_time_stamp() == sc_time(100, SC_NS) );
86   sc_assert( sc_time_to_pending_activity() == sc_time(50, SC_NS) );
88   sc_start(10, SC_NS, SC_RUN_TO_TIME);
89   sc_assert( sc_time_stamp() == sc_time(110, SC_NS) );
90   sc_assert( sc_time_to_pending_activity() == sc_time(40, SC_NS) );
92   sc_start(10, SC_NS, SC_EXIT_ON_STARVATION);
93   sc_assert( sc_time_stamp() == sc_time(110, SC_NS) );
95   sc_start(80, SC_NS, SC_EXIT_ON_STARVATION);
97   sc_assert( sc_time_stamp() == sc_time(150, SC_NS) );
100   sc_assert( sc_time_to_pending_activity() == sc_time(100, SC_NS) );
102   sc_start(50, SC_NS, SC_EXIT_ON_STARVATION);
103   sc_assert( sc_time_stamp() == sc_time(150, SC_NS) );
104   sc_assert( sc_time_to_pending_activity() == sc_time(100, SC_NS) );
106   sc_start(50, SC_NS, SC_RUN_TO_TIME);
107   sc_assert( sc_time_stamp() == sc_time(200, SC_NS) );
108   sc_assert( sc_time_to_pending_activity() == sc_time(50, SC_NS) );
112   sc_assert( sc_time_stamp() == sc_time(250, SC_NS) );
124   sc_assert( sc_time_stamp() == sc_time(250, SC_NS) );
129   ev.notify(10, SC_NS);
132   sc_assert( sc_time_to_pending_activity() == sc_time(10, SC_NS) );
135   sc_assert( sc_time_stamp() == sc_time(260, SC_NS) );
137   ev.notify(10, SC_NS);
138   sc_start(sc_time(100, SC_NS), SC_EXIT_ON_STARVATION);
139   sc_assert( sc_time_stamp() == sc_time(270, SC_NS) );
141   ev.notify(10, SC_NS);
142   sc_start(sc_time(100, SC_NS)); // SC_RUN_TO_TIME
143   sc_assert( sc_time_stamp() == sc_time(370, SC_NS) );