search

Rafael-Baltazar / jmlcute

Generate unit test cases from Java files annotated with JML.
4 stars 0 forks source link

Feature: Remove previously generated test cases. #3

Open Rafael-Baltazar opened 9 years ago

Rafael-Baltazar commented 9 years ago

Use JUnitTestGenerator to delete automatically generated JUnit test cases from a given class. Maintain the user test cases. Goal: keep the user written test cases and the automatically generated test cases for the same method in the same class.