| Error Description | Line |
| Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à ContradictionException. | 0 |
| La ligne excède 80 caractères. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 35 |
| Line has trailing spaces. | 37 |
| Commentaire javadoc manquant. | 43 |
| Commentaire javadoc manquant. | 45 |
| Commentaire javadoc manquant. | 47 |
| Commentaire javadoc manquant. | 49 |
| Commentaire javadoc manquant. | 51 |
| Commentaire javadoc manquant. | 53 |
| Commentaire javadoc manquant. | 55 |
| Commentaire javadoc manquant. | 57 |
| Commentaire javadoc manquant. | 59 |
| Commentaire javadoc manquant. | 61 |
| Commentaire javadoc manquant. | 63 |
| Commentaire javadoc manquant. | 65 |
| Commentaire javadoc manquant. | 67 |
| Commentaire javadoc manquant. | 69 |
| Commentaire javadoc manquant. | 71 |
| Commentaire javadoc manquant. | 73 |
| Commentaire javadoc manquant. | 75 |
| Line has trailing spaces. | 76 |
| Commentaire javadoc manquant. | 77 |
| Le paramètre solver devrait être final. | 77 |
| Line has trailing spaces. | 84 |
| Balise javadoc @throws manquante pour 'ContradictionException'. | 95 |