PMD Results

The following document contains the results of PMD 4.2.5.

Files

org/sat4j/minisat/core/SolverStats.java

ViolationLine
Avoid empty catch blocks133 - 135
Avoid empty catch blocks135 - 137

org/sat4j/minisat/learning/LimitedLearning.java

ViolationLine
Avoid unused private fields such as 'stats'.57

org/sat4j/tools/AllMUSes.java

ViolationLine
Avoid empty catch blocks161 - 162
Avoid empty catch blocks248 - 250

org/sat4j/tools/DimacsOutputSolver.java

ViolationLine
Avoid unused method parameters such as 'stream'.65 - 67

org/sat4j/tools/Minimal4CardinalityModel.java

ViolationLine
Avoid empty catch blocks102 - 104

org/sat4j/tools/Minimal4InclusionModel.java

ViolationLine
Avoid empty catch blocks123 - 125