| Index: testing_support/coverage_utils.py
 | 
| diff --git a/testing_support/coverage_utils.py b/testing_support/coverage_utils.py
 | 
| index f049938b98803bf43d4b39d626fa641a3d44eb49..3cd98f5ec240bd56b9e3d2b78e76e12a9a51b845 100644
 | 
| --- a/testing_support/coverage_utils.py
 | 
| +++ b/testing_support/coverage_utils.py
 | 
| @@ -21,7 +21,7 @@ def native_error(msg, version):
 | 
|    %s""") % (version, msg)
 | 
|    sys.exit(1)
 | 
|  
 | 
| -def covered_main(includes, require_native=None):
 | 
| +def covered_main(includes, require_native=None, required_percentage=100.0):
 | 
|    """Equivalent of unittest.main(), except that it gathers coverage data, and
 | 
|    asserts if the test is not at 100% coverage.
 | 
|  
 | 
| @@ -63,8 +63,8 @@ def covered_main(includes, require_native=None):
 | 
|      retcode = e.code or retcode
 | 
|  
 | 
|    COVERAGE.stop()
 | 
| -  if COVERAGE.report() != 100.0:
 | 
| -    print 'FATAL: not at 100% coverage.'
 | 
| +  if COVERAGE.report() < required_percentage:
 | 
| +    print 'FATAL: not at required %f% coverage.' % required_percentage
 | 
|      retcode = 2
 | 
|  
 | 
|    return retcode
 | 
| 
 |