CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/core/src/org/sat4j/specs/ISolver.java

Error DescriptionLine
Il manque un caractère NewLine à la fin du fichier0
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.36
Line has trailing spaces.43
Line has trailing spaces.48
Line has trailing spaces.58
Line has trailing spaces.70
Line has trailing spaces.81
Line has trailing spaces.96
Line has trailing spaces.107
Line has trailing spaces.122
Line has trailing spaces.142
Line has trailing spaces.161
Line has trailing spaces.186
Line has trailing spaces.195
Line has trailing spaces.200
Line has trailing spaces.203
Line has trailing spaces.216
Line has trailing spaces.227
Line has trailing spaces.238
Line has trailing spaces.245