PMD Results

The following document contains the results of PMD 4.2.2.

Files

org/sat4j/pb/OptToPBSATAdapter.java

Violation Line
Avoid empty catch blocks 102 - 104
Avoid empty catch blocks 104 - 106

org/sat4j/pb/reader/OPBReader2005.java

Violation Line
Avoid empty while statements 289