1666-2011-compliance/async_reset/async_reset.cpp

117     sc_assert( sc_delta_count() == 0 );
345       case  0: sc_assert( sc_delta_count() == 1 ); f1=1; break;
346       case  4: sc_assert( sc_time_stamp() == sc_time(20, SC_NS) ); f2=1; break;
347       case  7: sc_assert( sc_time_stamp() == sc_time(30, SC_NS) ); f3=1; break;
348       case  8: sc_assert( sc_time_stamp() == sc_time(31, SC_NS) ); f4=1; break;
349       case  9: sc_assert( sc_time_stamp() == sc_time(32, SC_NS) ); f5=1; break;
350       case 11: sc_assert( sc_time_stamp() == sc_time(34, SC_NS) ); f6=1; break;
351       case 14: sc_assert( sc_time_stamp() == sc_time(41, SC_NS) ); f7=1; break;
352       case 19: sc_assert( sc_time_stamp() == sc_time(53, SC_NS) ); f8=1; break;
353       case 22: sc_assert( sc_time_stamp() == sc_time(61, SC_NS) ); f9=1; break;
354       case 26: sc_assert( sc_time_stamp() == sc_time(65, SC_NS) ); f11=1; break;
355       case 28: sc_assert( sc_time_stamp() == sc_time(67, SC_NS) ); f12=1; break;
356       default: sc_assert( false ); break;
365       case  1: sc_assert( sc_delta_count() == 3 ); f13=1; break;
366       case  2: sc_assert( sc_time_stamp() == sc_time(1, SC_NS) ); f14=1; break;
367       case  3: sc_assert( sc_time_stamp() == sc_time(11, SC_NS) ); f15=1; break;
368       case  6: sc_assert( sc_time_stamp() == sc_time(22, SC_NS) ); f16=1; break;
369       case 20: sc_assert( sc_time_stamp() == sc_time(54, SC_NS) ); f17=1; break;
370       default: sc_assert( false ); break;
381       case  0: sc_assert( sc_delta_count() == 0 ); f18=1; break;
382       case  4: sc_assert( sc_time_stamp() == sc_time(20, SC_NS) ); f19=1; break;
383       case  7: sc_assert( sc_time_stamp() == sc_time(30, SC_NS) ); f20=1; break;
384       case  8: sc_assert( sc_time_stamp() == sc_time(31, SC_NS) ); f21=1; break;
385       case  9: sc_assert( sc_time_stamp() == sc_time(32, SC_NS) ); f22=1; break;
386       case 11: sc_assert( sc_time_stamp() == sc_time(34, SC_NS) ); f23=1; break;
387       case 14: sc_assert( sc_time_stamp() == sc_time(41, SC_NS) ); f24=1; break;
388       case 19: sc_assert( sc_time_stamp() == sc_time(53, SC_NS) ); f25=1; break;
389       case 22: sc_assert( sc_time_stamp() == sc_time(61, SC_NS) ); f26=1; break;
390       case 26: sc_assert( sc_time_stamp() == sc_time(65, SC_NS) ); f28=1; break;
391       case 28: sc_assert( sc_time_stamp() == sc_time(67, SC_NS) ); f29=1; break;
392       default: sc_assert( false ); break;
401       case  0: sc_assert( sc_delta_count() == 1 ); f30=1; break;
402       case  1: sc_assert( sc_delta_count() == 3 ); f31=1; break;
403       case  2: sc_assert( sc_time_stamp() == sc_time(1, SC_NS) ); f32=1; break;
404       case  3: sc_assert( sc_time_stamp() == sc_time(11, SC_NS) ); f33=1; break;
405       case  6: sc_assert( sc_time_stamp() == sc_time(22, SC_NS) ); f34=1; break;
406       case 20: sc_assert( sc_time_stamp() == sc_time(54, SC_NS) ); f35=1; break;
407       default: sc_assert( false ); break;
418       case  0: sc_assert( sc_delta_count() == 1 ); f36=1; break;
419       case  1: sc_assert( sc_delta_count() == 3 ); f37=1; break;
420       case  2: sc_assert( sc_time_stamp() == sc_time(1, SC_NS) ); f38=1; break;
421       case  3: sc_assert( sc_time_stamp() == sc_time(11, SC_NS) ); f39=1; break;
422       case  4: sc_assert( sc_time_stamp() == sc_time(20, SC_NS) ); f83=1; break;
423       case  6: sc_assert( sc_time_stamp() == sc_time(22, SC_NS) ); f40=1; break;
424       case  7: sc_assert( sc_time_stamp() == sc_time(30, SC_NS) ); f84=1; break;
425       case  8: sc_assert( sc_time_stamp() == sc_time(31, SC_NS) ); f41=1; break;
426       case  9: sc_assert( sc_time_stamp() == sc_time(32, SC_NS) ); f42=1; break;
427       case 11: sc_assert( sc_time_stamp() == sc_time(34, SC_NS) ); f85=1; break;
428       case 14: sc_assert( sc_time_stamp() == sc_time(41, SC_NS) ); f43=1; break;
429       case 19: sc_assert( sc_time_stamp() == sc_time(53, SC_NS) ); f44=1; break;
430       case 20: sc_assert( sc_time_stamp() == sc_time(54, SC_NS) ); f45=1; break;
431       case 22: sc_assert( sc_time_stamp() == sc_time(61, SC_NS) ); f26=1; break;
432       case 26: sc_assert( sc_time_stamp() == sc_time(65, SC_NS) ); f86=1; break;
433       case 28: sc_assert( sc_time_stamp() == sc_time(67, SC_NS) ); f46=1; break;
434       default: sc_assert( false ); break;
443         case 30: sc_assert( sc_time_stamp() == sc_time(105, SC_NS) ); f47=1; break;
444         case 32: sc_assert( sc_time_stamp() == sc_time(125, SC_NS) ); f51=1; break;
445         case 33: sc_assert( sc_time_stamp() == sc_time(135, SC_NS) ); f53=1; break;
446         case 34: sc_assert( sc_time_stamp() == sc_time(145, SC_NS) ); f55=1; break;
447         case 36: sc_assert( sc_time_stamp() == sc_time(160, SC_NS) ); f59=1; break;
448         case 37: sc_assert( sc_time_stamp() == sc_time(165, SC_NS) ); f61=1; break;
449         case 38: sc_assert( sc_time_stamp() == sc_time(175, SC_NS) ); f63=1; break;
450         case 39: sc_assert( sc_time_stamp() == sc_time(185, SC_NS) ); f65=1; break;
451         case 41: sc_assert( sc_time_stamp() == sc_time(205, SC_NS) ); f69=1; break;
452         case 42: sc_assert( sc_time_stamp() == sc_time(210, SC_NS) ); f71=1; break;
453         case 43: sc_assert( sc_time_stamp() == sc_time(215, SC_NS) ); f73=1; break;
454         case 44: sc_assert( sc_time_stamp() == sc_time(225, SC_NS) ); f75=1; break;
455         case 46: sc_assert( sc_time_stamp() == sc_time(240, SC_NS) ); f79=1; break;
456         default: sc_assert( false ); break;
464         case 31: sc_assert( sc_time_stamp() == sc_time(115, SC_NS) ); f49=1; break;
465         case 35: sc_assert( sc_time_stamp() == sc_time(155, SC_NS) ); f57=1; break;
466         case 40: sc_assert( sc_time_stamp() == sc_time(195, SC_NS) ); f67=1; break;
467         case 45: sc_assert( sc_time_stamp() == sc_time(235, SC_NS) ); f77=1; break;
468         case 47: sc_assert( sc_time_stamp() == sc_time(245, SC_NS) ); f81=1; break;
469         default: sc_assert( false ); break;
479         case 30: sc_assert( sc_time_stamp() == sc_time(105, SC_NS) ); f48=1; break;
480         case 32: sc_assert( sc_time_stamp() == sc_time(125, SC_NS) ); f52=1; break;
481         case 33: sc_assert( sc_time_stamp() == sc_time(135, SC_NS) ); f54=1; break;
482         case 34: sc_assert( sc_time_stamp() == sc_time(145, SC_NS) ); f56=1; break;
483         case 36: sc_assert( sc_time_stamp() == sc_time(160, SC_NS) ); f60=1; break;
484         case 37: sc_assert( sc_time_stamp() == sc_time(165, SC_NS) ); f62=1; break;
485         case 38: sc_assert( sc_time_stamp() == sc_time(175, SC_NS) ); f64=1; break;
486         case 39: sc_assert( sc_time_stamp() == sc_time(185, SC_NS) ); f66=1; break;
487         case 41: sc_assert( sc_time_stamp() == sc_time(205, SC_NS) ); f70=1; break;
488         case 42: sc_assert( sc_time_stamp() == sc_time(210, SC_NS) ); f72=1; break;
489         case 43: sc_assert( sc_time_stamp() == sc_time(215, SC_NS) ); f74=1; break;
490         case 44: sc_assert( sc_time_stamp() == sc_time(225, SC_NS) ); f76=1; break;
491         case 46: sc_assert( sc_time_stamp() == sc_time(240, SC_NS) ); f80=1; break;
492         default: sc_assert( false ); break;
500         case 31: sc_assert( sc_time_stamp() == sc_time(115, SC_NS) ); f50=1; break;
501         case 35: sc_assert( sc_time_stamp() == sc_time(155, SC_NS) ); f58=1; break;
502         case 40: sc_assert( sc_time_stamp() == sc_time(195, SC_NS) ); f68=1; break;
503         case 45: sc_assert( sc_time_stamp() == sc_time(235, SC_NS) ); f78=1; break;
504         case 47: sc_assert( sc_time_stamp() == sc_time(245, SC_NS) ); f82=1; break;
505         default: sc_assert( false ); break;
574   sc_assert(top.f1);
575   sc_assert(top.f2);
576   sc_assert(top.f3);
577   sc_assert(top.f4);
578   sc_assert(top.f5);
579   sc_assert(top.f6);
580   sc_assert(top.f7);
581   sc_assert(top.f8);
582   sc_assert(top.f9);
583   sc_assert(top.f11);
584   sc_assert(top.f12);
585   sc_assert(top.f13);
586   sc_assert(top.f14);
587   sc_assert(top.f15);
588   sc_assert(top.f16);
589   sc_assert(top.f17);
590   sc_assert(top.f18);
591   sc_assert(top.f19);
592   sc_assert(top.f20);
593   sc_assert(top.f21);
594   sc_assert(top.f22);
595   sc_assert(top.f23);
596   sc_assert(top.f24);
597   sc_assert(top.f25);
598   sc_assert(top.f26);
599   sc_assert(top.f28);
600   sc_assert(top.f29);
601   sc_assert(top.f30);
602   sc_assert(top.f31);
603   sc_assert(top.f32);
604   sc_assert(top.f33);
605   sc_assert(top.f34);
606   sc_assert(top.f35);
607   sc_assert(top.f36);
608   sc_assert(top.f37);
609   sc_assert(top.f38);
610   sc_assert(top.f39);
611   sc_assert(top.f40);
612   sc_assert(top.f41);
613   sc_assert(top.f42);
614   sc_assert(top.f43);
615   sc_assert(top.f44);
616   sc_assert(top.f45);
617   sc_assert(top.f46);
618   sc_assert(top.f47);
619   sc_assert(top.f48);
620   sc_assert(top.f49);
621   sc_assert(top.f50);
622   sc_assert(top.f51);
623   sc_assert(top.f52);
624   sc_assert(top.f53);
625   sc_assert(top.f54);
626   sc_assert(top.f55);
627   sc_assert(top.f56);
628   sc_assert(top.f57);
629   sc_assert(top.f58);
630   sc_assert(top.f59);
631   sc_assert(top.f60);
632   sc_assert(top.f61);
633   sc_assert(top.f62);
634   sc_assert(top.f63);
635   sc_assert(top.f64);
636   sc_assert(top.f65);
637   sc_assert(top.f66);
638   sc_assert(top.f67);
639   sc_assert(top.f68);
640   sc_assert(top.f69);
641   sc_assert(top.f70);
642   sc_assert(top.f71);
643   sc_assert(top.f72);
644   sc_assert(top.f73);
645   sc_assert(top.f74);
646   sc_assert(top.f75);
647   sc_assert(top.f76);
648   sc_assert(top.f77);
649   sc_assert(top.f78);
650   sc_assert(top.f79);
651   sc_assert(top.f80);
652   sc_assert(top.f81);
653   sc_assert(top.f82);
654   sc_assert(top.f83);
655   sc_assert(top.f84);
656   sc_assert(top.f85);
657   sc_assert(top.f86);