1666-2011-compliance/proc_ctrl_elab/proc_ctrl_elab.cpp

143       sc_assert( false );

151       sc_assert( false );

159       sc_assert( false );

182       sc_assert( false );

190       sc_assert( false );

198       sc_assert( false );

212       sc_assert( false );

220       sc_assert( false );

228       sc_assert( false );

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) );

345     sc_assert( false );

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) );

362     sc_assert( sc_delta_count() == 0 );

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) );

384               sc_assert( sc_delta_count() == 0 );

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) );

399       sc_assert( false );

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

408               sc_assert( sc_delta_count() == 0 );

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

412       case 2: sc_assert( false );

414       case 3: sc_assert( false );

425       case 0: sc_assert( false );

427       case 1: sc_assert( false );

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) );

446       case 1: sc_assert( false );

448       case 2: sc_assert( false );

459       case 0: sc_assert( false );

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) );

478       case 1: sc_assert( false );

480       case 2: sc_assert( false );

491       case 0: sc_assert( false );

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) );

510   sc_assert( top.caught_throw_it == 3 );

511   sc_assert( top.caught_reset == 3 );

512   sc_assert( top.caught_kill == 3 );

514   sc_assert( top.target_suspend_1_called );

515   sc_assert( top.target_suspend_2_called );

516   sc_assert( top.target_suspend_3_called );

517   sc_assert( top.target_suspend_4_called );

518   sc_assert( top.target_suspend_5_called );

520   sc_assert( !top.target_disable_1_called );

521   sc_assert( top.target_disable_2_called );

522   sc_assert( top.target_disable_2_called_again );

523   sc_assert( top.target_disable_3_called );

524   sc_assert( top.target_disable_4_called );

525   sc_assert( top.target_disable_5_called );

527   sc_assert( top.target_sync_reset_1_called );

528   sc_assert( top.target_sync_reset_2_called );

529   sc_assert( top.target_sync_reset_3_called );

530   sc_assert( top.target_sync_reset_4_called );