flushing coverage info when program terminates or is killeed