Added verbose flag in coverage test