search

Rafael-Baltazar / jmlcute

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

Running jmlcute on pt.ulisboa.tecnico.PositivePower does not stop. #6

Closed Rafael-Baltazar closed 9 years ago

Rafael-Baltazar commented 9 years ago

There was a recursive call in the specification that did not end.