coverage tests are performed in debug mode