---

title: Dry run must run each test in a child swipl under coverage and record its time and the clauses of the mutated files it entered. status: open text_ref: readme:README.md#L133 tags:

• strict-modeling
• confidence:0.90
• confidence-band:high
• provenance:readme-readme-md-l133
• lane:strict

semantic_text: Dry run must run each test in a child swipl under coverage and record its time and the clauses of the mutated files it entered. logic_claims:

• CLAIM-6C8166480553BF13

semantic_clauses:

• Dry run must run each test in a child swipl under coverage and record its time and the clauses of the mutated files it entered.

semantic_inventory_version: kibi.semantic-inventory.v1 semantic_source_field: semantic_text semantic_source_hash: b44a4d6ae04e23a81f023ad1c6ab26809750aac47bb95f636bb5a9feea41526a semantic_inventory:

• claim_key: CLAIM-6C8166480553BF13 claim_text: Dry run must run each test in a child swipl under coverage and record its time and the clauses of the mutated files it entered role: normative status: modeled span: start: 0 end: 126 origin: kind: import ref: readme:README.md#L133 recorded_at: '2026-10-29T16:05:32.016Z' firmness: firm required_evidence: asserted id: REQ-AUTO-F7474BB290B90F77 type: req --- Dry run must run each test in a child swipl under coverage and record its time and the clauses of the mutated files it entered.

Source

A child swipl loads the tests and runs each one under SWI-Prolog's coverage instrumentation.

Source: Mutalog README - README.md#L133