FindBugs Bug Detector Report

The following document contains the results of FindBugs Report

FindBugs Version is 1.3.6

Threshold is Low

Effort is Default

Summary

Classes Bugs Errors Missing Classes
70 1 0 0

Files

Class Bugs
org.sat4j.Lanceur 1

org.sat4j.Lanceur

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