Fix mutation bugs#103

Merged

varuniy merged 4 commits into

mainfrom

fix-mutation-bugs

May 19, 2026

Commits on May 19, 2026

Only run mutation analysis if needed (specify through -s flag), and trim mutants to better account for memory
Varun Iyengar
committed
Reformat python file
Varun Iyengar
committed
Continued to clean up trim_mutants.py
Varun Iyengar
committed
Fixed buggy build files
Varun Iyengar
committed