1666-2011-compliance/proc_ctrl_elab/proc_ctrl_elab.cpp

287     wait(10, SC_NS);

291     wait(10, SC_NS);

296     wait(10, SC_NS);

299     wait(10, SC_NS);

302     wait(10, SC_NS);

306     wait(10, SC_NS);

314     sc_assert( sc_time_stamp() == sc_time(10, SC_NS) );

320     sc_assert( sc_time_stamp() == sc_time(20, SC_NS) );

326     sc_assert( sc_time_stamp() == sc_time(10, SC_NS) );

332     sc_assert( sc_time_stamp() == sc_time(60, SC_NS) );

338     sc_assert( sc_time_stamp() == sc_time(10, SC_NS) );

351     sc_assert( sc_time_stamp() == sc_time(40, SC_NS) );

355     sc_assert( sc_time_stamp() == sc_time(50, SC_NS) );

361     sc_assert( sc_time_stamp() == sc_time(0, SC_NS) );

368     sc_assert( sc_time_stamp() == sc_time(60, SC_NS) );

374     sc_assert( sc_time_stamp() == sc_time(10, SC_NS) );

383       case 0: sc_assert( sc_time_stamp() == sc_time(0, SC_NS) );

386       case 1: sc_assert( sc_time_stamp() == sc_time(10, SC_NS) );

388       case 2: sc_assert( sc_time_stamp() == sc_time(40, SC_NS) );

390       case 3: sc_assert( sc_time_stamp() == sc_time(50, SC_NS) );

407       case 0: sc_assert( sc_time_stamp() == sc_time(0, SC_NS) );

410       case 1: sc_assert( sc_time_stamp() == sc_time(10, SC_NS) );

429       case 2: sc_assert( sc_time_stamp() == sc_time(40, SC_NS) );

431       case 3: sc_assert( sc_time_stamp() == sc_time(50, SC_NS) );

444       case 0: sc_assert( sc_time_stamp() == sc_time(10, SC_NS) );

461       case 1: sc_assert( sc_time_stamp() == sc_time(40, SC_NS) );

463       case 2: sc_assert( sc_time_stamp() == sc_time(50, SC_NS) );

476       case 0: sc_assert( sc_time_stamp() == sc_time(10, SC_NS) );

493       case 1: sc_assert( sc_time_stamp() == sc_time(40, SC_NS) );

495       case 2: sc_assert( sc_time_stamp() == sc_time(50, SC_NS) );