1666-2011-compliance/sc_start_starvation/sc_start_starvation.cpp

56     sc_assert( sc_time_to_pending_activity() == sc_time(250, SC_NS) );
62     sc_assert( sc_time_to_pending_activity() == sc_time(150, SC_NS) );
76   sc_assert( sc_time_to_pending_activity() == sc_time(250, 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) );
89   sc_assert( sc_time_stamp() == sc_time(110, SC_NS) );
90   sc_assert( sc_time_to_pending_activity() == sc_time(40, SC_NS) );
93   sc_assert( sc_time_stamp() == sc_time(110, SC_NS) );
97   sc_assert( sc_time_stamp() == sc_time(150, SC_NS) );
100   sc_assert( sc_time_to_pending_activity() == sc_time(100, SC_NS) );
103   sc_assert( sc_time_stamp() == sc_time(150, SC_NS) );
104   sc_assert( sc_time_to_pending_activity() == sc_time(100, SC_NS) );
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) );
132   sc_assert( sc_time_to_pending_activity() == sc_time(10, SC_NS) );
135   sc_assert( sc_time_stamp() == sc_time(260, 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) );
142   sc_start(sc_time(100, SC_NS)); // SC_RUN_TO_TIME
143   sc_assert( sc_time_stamp() == sc_time(370, SC_NS) );