Rafael-Baltazar jmlcute issues - Githubissues

Rafael-Baltazar / jmlcute

Generate unit test cases from Java files annotated with JML.

4 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Does not detect that a method's exceptional behavior should throw an exception.

#8 Rafael-Baltazar opened 8 years ago
0
pt.ulisboa.tecnico.TestExceptionNotCaughtBug is not thrown.

#7 Rafael-Baltazar opened 9 years ago
1
Running jmlcute on pt.ulisboa.tecnico.PositivePower does not stop.

#6 Rafael-Baltazar closed 8 years ago
1
Concolic execution does not stop when main throws Throwable.

#5 Rafael-Baltazar opened 9 years ago
1
Turn jmlcute into a Maven/Gradle plugin

#4 Rafael-Baltazar opened 9 years ago
0
Feature: Remove previously generated test cases.

#3 Rafael-Baltazar opened 9 years ago
0
Use Maven/Gradle to build project.

#2 Rafael-Baltazar opened 9 years ago
0
Remove useless classes from jmlcute module

#1 Rafael-Baltazar opened 9 years ago
0