| Error Description | Line |
| Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à TimeoutException. | 0 |
| Commentaire javadoc manquant. | 15 |
| Commentaire javadoc manquant. | 17 |
| Commentaire javadoc manquant. | 18 |
| Line has trailing spaces. | 19 |
| Commentaire javadoc manquant. | 20 |
| Le paramètre solver devrait être final. | 20 |
| Commentaire javadoc manquant. | 24 |
| La méthode 'newVar' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 24 |
| Le paramètre howmany devrait être final. | 25 |
| Line has trailing spaces. | 30 |
| Commentaire javadoc manquant. | 31 |
| La méthode 'setExpectedNumberOfClauses' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 31 |
| Le paramètre nb devrait être final. | 32 |
| Il manque une espace avant '>'. | 33 |
| '800000' devrait être défini comme une constante. | 33 |
| Il manque une espace après '>'. | 33 |
| Il manque une espace avant '||'. | 33 |
| Il manque une espace après '||'. | 33 |
| Il manque une espace avant '>'. | 33 |
| '2000000' devrait être défini comme une constante. | 33 |
| Il manque une espace après '>'. | 33 |
| Commentaire javadoc manquant. | 48 |
| La ligne excède 80 caractères. | 51 |
| Line has trailing spaces. | 56 |