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