compliance_1666/test00/test00.cpp

37 using sc_core::SC_US;

237       sc_assert(sc_time_stamp() == sc_time(5, SC_US));

239       sc_assert(sc_time_stamp() == sc_time(30, SC_US));

249       sc_assert(sc_time_stamp() == sc_time(15, SC_US));

251       sc_assert(sc_time_stamp() == sc_time(25, SC_US));

299     wait(5, SC_US);

301     wait(5, SC_US);

304     wait(5, SC_US);

306     wait(5, SC_US);

308     wait(5, SC_US);

310     wait(5, SC_US);

313     wait(10, SC_US);