The following document contains the results of FindBugs Report
FindBugs Version is 1.3.9
Threshold is low
Effort is min
| Class | Bugs |
|---|---|
| org.sat4j.sat.Lanceur | 1 |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| La méthode org.sat4j.sat.Lanceur.configureSolver(String[]) intercepte Exception, mais Exception n'est pas lancé dans le bloc try/catch et RuntimeException n'est pas appelé | STYLE | REC_CATCH_EXCEPTION | 176 | Low |
