modify coverage_counter.py