Concolic execution does not stop when main throws Throwable.

Rafael-Baltazar / jmlcute

Generate unit test cases from Java files annotated with JML.

4 stars 0 forks source link

Open Rafael-Baltazar opened 9 years ago

Rafael-Baltazar commented 9 years ago

jCUTE bug. Semi-solved, if main is surrounded by try-catch-Throwable. May misbehave if it catches a ThreadDeath.