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
|
