diff options
Diffstat (limited to 'coverage/config.py')
| -rw-r--r-- | coverage/config.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/coverage/config.py b/coverage/config.py index 6372f4c0..452d320e 100644 --- a/coverage/config.py +++ b/coverage/config.py @@ -195,6 +195,7 @@ class CoverageConfig(object): self.run_omit = None self.source = None self.timid = False + self._crash = None # Defaults for [report] self.exclude_list = DEFAULT_EXCLUDE[:] @@ -359,6 +360,7 @@ class CoverageConfig(object): ('run_omit', 'run:omit', 'list'), ('source', 'run:source', 'list'), ('timid', 'run:timid', 'boolean'), + ('_crash', 'run:_crash'), # [report] ('exclude_list', 'report:exclude_lines', 'regexlist'), |