coverage batch file