ATTUNE ATTUNE (Ad hoc Test generation ThroUgh biNary rEwriting) public release Builds on rr https://rr-project.org/ and Egalito https://github.com/columbia/egalito.