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 |
