Skip to content

Latest commit

 

History

History

scripts

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 

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).