adding random coverage file