compliance_1666/test200/test200.cpp

74     int f_count = sc_report_handler::get_count(SC_FATAL);

86     sc_assert(sc_report_handler::get_count(SC_FATAL)   == f_count);

93     sc_assert(sc_report_handler::get_count(SC_FATAL)   == f_count);

100     sc_assert(sc_report_handler::get_count(SC_FATAL)   == f_count);

107     sc_assert(sc_report_handler::get_count(SC_FATAL)   == f_count + 1);

119     sc_assert(sc_report_handler::get_count(SC_FATAL)   == f_count + 1);

126     sc_assert(sc_report_handler::get_count(SC_FATAL)   == f_count + 1);

133     sc_assert(sc_report_handler::get_count(SC_FATAL)   == f_count + 1);

140     sc_assert(sc_report_handler::get_count(SC_FATAL)   == f_count + 2);

149     int f_count = sc_report_handler::get_count(SC_FATAL);

165     sc_assert(sc_report_handler::get_count(SC_FATAL)   == f_count);