Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
GNU General Public License v2.0
97
stars
40
forks
source link
chore: fix failing job about intellij plugin #188
Closed
monperrus closed 5 years ago