SpoonLabs / nopol

Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
https://hal.archives-ouvertes.fr/hal-01285008/document
GNU General Public License v2.0
97 stars 40 forks source link

doc: few adjustments to current Nopol version #195

Closed DehengYang closed 4 years ago

DehengYang commented 4 years ago

Some updates: 1) current Nopol is supported by jdk 1.8; 2) CoCoSpoon seems can be directly download via the pom.xml. Therefore, the step of manually configuring the CoCoSpoon can be skipped.

monperrus commented 4 years ago

Thanks a lot Deheng!

DehengYang commented 4 years ago

It's my great pleasure. Thank you!