Remove useless classes from jmlcute module - Githubissues

Rafael-Baltazar / jmlcute

Generate unit test cases from Java files annotated with JML.

4 stars 0 forks source link

Remove useless classes from jmlcute module #1

Open Rafael-Baltazar opened 9 years ago

Rafael-Baltazar commented 9 years ago

Goal: Increase readability and reduce jmlcute.jar's size (currently over 27 M).