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