PMD Results

The following document contains the results of PMD 3.9.

Files

org/sat4j/reader/LecteurDimacs.java

ViolationLine
Avoid empty while statements191

org/sat4j/reader/OPBReader2005.java

ViolationLine
Avoid empty while statements238

org/sat4j/tools/DimacsOutputSolver.java

ViolationLine
Avoid unused method parameters such as 'stream'.75 - 77

org/sat4j/tools/Minimal4InclusionModel.java

ViolationLine
Avoid empty catch blocks85 - 87
Avoid empty catch blocks87 - 89