compliance_1666/test200/test200.cpp

72     int w_count = sc_report_handler::get_count(SC_WARNING);

84     sc_assert(sc_report_handler::get_count(SC_WARNING) == w_count);

91     sc_assert(sc_report_handler::get_count(SC_WARNING) == w_count + 1);

98     sc_assert(sc_report_handler::get_count(SC_WARNING) == w_count + 1);

105     sc_assert(sc_report_handler::get_count(SC_WARNING) == w_count + 1);

117     sc_assert(sc_report_handler::get_count(SC_WARNING) == w_count + 1);

124     sc_assert(sc_report_handler::get_count(SC_WARNING) == w_count + 2);

131     sc_assert(sc_report_handler::get_count(SC_WARNING) == w_count + 2);

138     sc_assert(sc_report_handler::get_count(SC_WARNING) == w_count + 2);

147     int w_count = sc_report_handler::get_count(SC_WARNING);

163     sc_assert(sc_report_handler::get_count(SC_WARNING) == w_count);