| Did you know ... | Search Documentation: |
 | Pack mutalog -- .kb/requirements/REQ-AUTO-4D6793556060D2C3.md |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
title: Runner must settle mutants with no covering test as no coverage without running anything. status: open text_ref: readme:README.md#L134 tags:
- strict-modeling
- confidence:0.90
- confidence-band:high
- provenance:readme-readme-md-l134
- lane:strict
semantic_text: Runner must settle mutants with no covering test as no coverage without running anything. logic_claims:
- CLAIM-F0944B43A5B1A1DE
semantic_clauses:
- Runner must settle mutants with no covering test as no coverage without running anything.
semantic_inventory_version: kibi.semantic-inventory.v1 semantic_source_field: semantic_text semantic_source_hash: 796bcc01bf06cb10ec5904294917938e65c3ed6fa47a397c7680080eeaabfd74 semantic_inventory:
- claim_key:CLAIM - F0944B43A5B1A1DE
- claim_text: Runner must settle mutants with no covering test as no coverage without running anything role: normative status: modeled span: start: 0 end: 88 origin: kind: import ref: readme:README.md#L134 recorded_at: '2026-10-29T16:05:32.867Z' firmness: firm required_evidence: asserted id: REQ-AUTO-4D6793556060D2C3 type: req --- Runner must settle mutants with no covering test as no coverage without running anything.
Source
Mutants with no covering test are settled without running anything.