Mutalog changes the code under test in small ways (a flipped comparison, a removed cut, a dropped clause) and checks that the plunit suite notices.

Command line:

mutalog run     [OPTIONS] [--only ID,ID] [--concurrency N]
                [--reporters a,b] [--verbose]
mutalog dry-run [OPTIONS]
mutalog list    [OPTIONS] [--format text|json] [--check]

OPTIONS: [--config FILE] [--root DIR] [--mutate GLOB]... [--tests GLOB]...
         [--operators a,b] [--timeout-ms N]

 main is det

Command-line entry point. Halts with the command's exit code.

 mutalog_list(+Root, +Overrides, -Result) is det

Result is result(Files) with one file(Rel, Mutants, Checks) per source file, where Checks pairs each mutant id with the outcome of verify_mutant/3.