search

DeepseaPlatform / coastal

Concolic analysis tool for Java
https://deepseaplatform.github.io/coastal/
Apache License 2.0
21 stars 9 forks source link

Repair documentation #46

Open jacogeld opened 4 years ago

jacogeld commented 4 years ago

After switching from the old Javadoc system to the new one, much of the functionality of the COASTAL documentation generating doclet was lost. Needs to be repaired.