Skip to content

Mutant generation utilities

There is a utility called mart-utils that can be used to post precess the output of Mart. This can be used to generate individual mutants bitcode when Mart was run to only generate Meta-mutant bitcode file.

For the usage, check the script mutants_bc_from_meta.