1666-2011-compliance/proc_ctrl_immed/proc_ctrl_immed.cpp

99     sc_assert( sc_delta_count() == 1 );
247     sc_assert( sc_delta_count() == 1 );
260       default: sc_assert(false); break;
271           case  9: sc_assert(sc_is_unwinding()); f6=1; break;
272           case 10: sc_assert(sc_is_unwinding()); f8=1; break;
273           case 14: sc_assert(sc_is_unwinding()); f12=1; break;
274           case 16: sc_assert(sc_is_unwinding()); f15=1; break;
275           case 17: sc_assert( !sc_is_unwinding() ); f17=1; break;
276           case 18: sc_assert(sc_is_unwinding()); f19=1; break;
277           default: sc_assert(false); break;
293         default: sc_assert(false); break;
309       default: sc_assert(false); break;
322       default: sc_assert(false); break;
333       default: sc_assert(false); break;
339     sc_assert(count == 18);
340     sc_assert(sc_delta_count() == 1);
346     sc_assert(count == 31);
347     sc_assert(sc_delta_count() == 1);
371   sc_assert( top.f0 );
372   sc_assert( top.f1 );
373   sc_assert( top.f2 );
374   sc_assert( top.f3 );
375   sc_assert( top.f4 );
376   sc_assert( top.f5 );
377   sc_assert( top.f6 );
378   sc_assert( top.f7 );
379   sc_assert( top.f8 );
380   sc_assert( top.f9 );
381   sc_assert( top.f10 );
382   sc_assert( top.f11 );
383   sc_assert( top.f12 );
384   sc_assert( top.f13 );
385   sc_assert( top.f14 );
386   sc_assert( top.f15 );
387   sc_assert( top.f16 );
388   sc_assert( top.f17 );
389   sc_assert( top.f18 );
390   sc_assert( top.f19 );
391   sc_assert( top.f20 );
392   sc_assert( top.f21 );
393   sc_assert( top.f22 );
394   sc_assert( top.f23 );
395   sc_assert( top.f24 );
396   sc_assert( top.f25 );
397   sc_assert( top.f26 );
398   sc_assert( top.f27 );
400   sc_assert( top.f30 );
401   sc_assert( top.f31 );
402   sc_assert( top.f32 );
403   sc_assert( top.f33 );
404   sc_assert( top.f34 );
405   sc_assert( top.f35 );
406   sc_assert( top.f36 );
407   sc_assert( top.f37 );
408   sc_assert( top.f38 );