CAD2016 make to compile source code into build directory ./build/CAD2016 design.isc fault_description.txt to run program. It will print the result to identical_fault_pairs.txt