EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009) |
---|
[all classes][org.sat4j.reader] |
name | class, % | method, % | block, % |
---|---|---|---|
LecteurDimacs | 100% (1/1) | 90% (9/10) | 91% (307/337) |
name | method, % | block, % |
---|---|---|
parseInstance (Reader): IProblem | 0% (0/1) | 0% (0/4) |
parseInstance (InputStream): IProblem | 100% (1/1) | 80% (41/51) |
lectureNombreLiteraux (): char | 100% (1/1) | 89% (68/76) |
passerEspaces (): char | 100% (1/1) | 93% (13/14) |
ajouterClauses (char): void | 100% (1/1) | 94% (91/97) |
passerCommentaire (): char | 100% (1/1) | 96% (24/25) |
LecteurDimacs (ISolver): void | 100% (1/1) | 100% (12/12) |
decode (int []): String | 100% (1/1) | 100% (29/29) |
nextChiffre (): char | 100% (1/1) | 100% (16/16) |
nextLine (): char | 100% (1/1) | 100% (13/13) |
[all classes][org.sat4j.reader] |
EMMA 2.0.5312 (C) Vladimir Roubtsov |