PMD Results

Last Published: 2013-02-09 | Version: 2.3.3

Parent Project

SAT4J

Project Documentation

Project Information
Project Reports
- Surefire Report
- Test Source Xref
- Source Xref
- PMD Report
- CPD Report
- Checkstyle
- FindBugs Report
- Test JavaDocs
- JavaDocs
- Tag List

Built by Maven

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	143 - 145