PMD Results

The following document contains the results of PMD 4.2.5.

Files

org/sat4j/pb/OptToPBSATAdapter.java

Violation Line
Avoid empty catch blocks 113 - 115
Avoid empty catch blocks 115 - 117