The following document contains the results of FindBugs Report
FindBugs Version is 1.3.6
Threshold is Low
Effort is Default
Classes | Bugs | Errors | Missing Classes |
---|---|---|---|
70 | 1 | 0 | 0 |
Class | Bugs |
---|---|
org.sat4j.Lanceur | 1 |
Bug | Category | Details | Line | Priority |
---|---|---|---|---|
Exception is caught when Exception is not thrown in org.sat4j.Lanceur.configureSolver(String[]) | STYLE | REC_CATCH_EXCEPTION | 170 | Low |