AllRepair is an open-source tool for the automated repair of C programs with respect to assertions in the code, available online here.
AllRepair is an open-source tool for the automated repair of C programs with respect to assertions in the code, available online here.