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
96
stars
40
forks
source link
Update Main.java #201
Closed
monperrus closed 4 years ago
fix #198