This folder contains useful scripts for some post processing after Mart was executed.
-
The folder
utils
contains the scrpts that ease some post processing of mart. such as generating mutants bitcode files from a meta-mutant bitcode file. -
The folder
FaRM
contains some scripts for FaRM (Fault Revealing mutants selection).