| Error Description | Line |
| Il manque un caractère NewLine à la fin du fichier | 0 |
| Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à TimeoutException. | 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 |
| Commentaire javadoc manquant. | 31 |
| Commentaire javadoc manquant. | 34 |
| La variable 'nborigvars' devrait être privée et avoir des accesseurs. | 34 |
| Commentaire javadoc manquant. | 36 |
| Commentaire javadoc manquant. | 38 |
| La variable 'nbnewvar' devrait être privée et avoir des accesseurs. | 38 |
| Commentaire javadoc manquant. | 40 |
| La variable 'prevfullmodel' devrait être privée et avoir des accesseurs. | 40 |
| Commentaire javadoc manquant. | 42 |
| Le paramètre solver devrait être final. | 42 |
| Line has trailing spaces. | 45 |
| Commentaire javadoc manquant. | 46 |
| La méthode 'model' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 46 |
| L'instruction 'while' devrait utiliser des accolades ('{' et '}'). | 49 |
| Commentaire javadoc manquant. | 58 |
| 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. | 58 |
| Le paramètre howmany devrait être final. | 59 |
| Commentaire javadoc manquant. | 64 |
| 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. | 64 |
| Le paramètre nb devrait être final. | 65 |
| Commentaire javadoc manquant. | 71 |
| La méthode 'reset' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 71 |
| Commentaire javadoc manquant. | 77 |