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 travis regression #194
Closed
monperrus closed 4 years ago