Run tests, capture coverage, and compare against a previous snapshot.
Each run produces an impressio — the current coverage snapshot. If an
identical impressio already exists (same fingerprint), it is reused and
labelled Deja vu. The snapshot we compare against is the retentio —
either the most recent prior run or an explicit --since target.
Output written to .certitudo/<run_id>/:
snapshot.json— the impressiocoverage.coverdata— raw Erlang cover datadiff.prev.json— differentia between retentio and impressio (when available)
mix certitudo
mix certitudo --example
mix certitudo --no-color
mix certitudo --label scenario -- --only scenario
mix certitudo --from-coverdata cover/covprobe.coverdata
mix certitudo --no-auto-diff
mix certitudo --since 20260605T190458ZPass --no-color to disable ANSI colors in Certitudo's own output.
Pass --example to render the bundled demonstration diff with all statuses,
without running tests or comparing snapshots.
Related tasks
mix certitudo.discrimen— compare any two snapshots explicitlymix certitudo.inspectio— inspect and prune.certitudo/artifactsmix certitudo.lacunae— show uncovered linesmix certitudo.speculum— print a snapshot as a coverage table