EMMA Coverage Report (generated Tue May 03 17:02:00 CDT 2011)
[all classes][tuffy.infer.ds]

COVERAGE SUMMARY FOR SOURCE FILE [GAtom.java]

nameclass, %method, %block, %line, %
GAtom.java100% (1/1)79%  (15/19)60%  (203/340)62%  (49.3/80)

COVERAGE BREAKDOWN BY CLASS AND METHOD

nameclass, %method, %block, %line, %
     
class GAtom100% (1/1)79%  (15/19)60%  (203/340)62%  (49.3/80)
criticalForHardClauses (): boolean 0%   (0/1)0%   (0/9)0%   (0/1)
delta (KeyBlock): double 0%   (0/1)0%   (0/49)0%   (0/10)
flip (KeyBlock): ArrayList 0%   (0/1)0%   (0/64)0%   (0/17)
forceFlip (): void 0%   (0/1)0%   (0/9)0%   (0/2)
critical (): boolean 100% (1/1)75%  (6/8)75%  (0.8/1)
wannaBeFalse (): boolean 100% (1/1)78%  (7/9)77%  (0.8/1)
wannaBeTrue (): boolean 100% (1/1)78%  (7/9)77%  (0.8/1)
GAtom (int): void 100% (1/1)100% (45/45)100% (15/15)
assignSatPotential (GClause): void 100% (1/1)100% (21/21)100% (4/4)
assignUnsatPotential (GClause): void 100% (1/1)100% (21/21)100% (4/4)
delta (): double 100% (1/1)100% (6/6)100% (1/1)
flip (): void 100% (1/1)100% (12/12)100% (3/3)
invertDelta (): void 100% (1/1)100% (11/11)100% (4/4)
markCritical (): void 100% (1/1)100% (4/4)100% (2/2)
markWannaBeFalse (): void 100% (1/1)100% (7/7)100% (2/2)
markWannaBeTrue (): void 100% (1/1)100% (7/7)100% (2/2)
resetDelta (): void 100% (1/1)100% (7/7)100% (2/2)
revokeSatPotential (GClause): void 100% (1/1)100% (21/21)100% (4/4)
revokeUnsatPotential (GClause): void 100% (1/1)100% (21/21)100% (4/4)

[source file 'tuffy/infer/ds/GAtom.java' not found in sourcepath]

[all classes][tuffy.infer.ds]
EMMA 2.0.5312 (C) Vladimir Roubtsov