PMD Results

The following document contains the results of PMD 4.2.5.

Files

org/sat4j/minisat/core/SolverStats.java

ViolationLine
Avoid empty catch blocks128 - 130
Avoid empty catch blocks130 - 132

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 blocks97 - 99

org/sat4j/tools/Minimal4InclusionModel.java

ViolationLine
Avoid empty catch blocks118 - 120

org/sat4j/tools/OptToSatAdapter.java

ViolationLine
Avoid empty catch blocks104 - 106