mutastic verify

Run mutants' tests: it passes when they catch every one not skipped. How a fix is proved: each missed mutant offers it as "done when", and a card with several mutants names them all, split by commas; spaces split them too, and the directory comes after them. An id names its mutant whatever options showed it, so verify needs no --operators or --unsafe to find one.

Usage

mutastic verify <id>[,<id>…] [<id>…] [dir]

Inside a package, cargo mutastic verify runs the same command, with the same options.

mutastic verify mb2f8ae57
mutastic verify \
  mb2f8ae57 \
  fixtures/pricing
mutastic verify \
  mb2f8ae57 \
  m95f96847 \
  fixtures/pricing

Output

On the pricing fixture, once the test the card suggested is added. This is mutastic's own output, written from the CLI and checked against it on every build.

mutastic: mb2f8ae57 is caught by tests::discount_at_the_total_edge

Exit status

0 when it catches each mutant named, or the mutant is skipped or crashed where a crash proves nothing; 1 while one is still missed or not covered. Any command exits 2 when mutastic couldn't run: see exit codes.

Options

--workers=N

How many mutants run side by side; half the cores, from 1 to 4, unless set.

Command line	--workers=N

mutastic verify \
  mb2f8ae57 \
  --workers=2

--progress=STYLE

Progress on stderr: a bar on a terminal, counter lines in logs, none for agents.

One of autobarcounternone

Command line	--progress=STYLE

mutastic verify \
  mb2f8ae57 \
  --progress=counter

--edition=EDITION

Which edition runs; unless set, the build file in dir, or the nearest above it: Cargo.toml for rust, pom.xml, build.gradle or settings.gradle for java.

One of rustjava

Command line	--edition=EDITION

mutastic verify \
  mb2f8ae57 \
  --edition=rust