Package: AtomicAssertTrans

AtomicAssertTrans

name	instruction	branch	complexity	line	method
AtomicAssertTrans(JmlGenerator)	M: 0 C: 9 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 4 100%	M: 0 C: 1 100%
addPostAtomicCheck(AMetaStmIR)	M: 0 C: 10 100%	M: 0 C: 2 100%	M: 0 C: 2 100%	M: 0 C: 3 100%	M: 0 C: 1 100%
caseAAtomicStmIR(AAtomicStmIR)	M: 0 C: 61 100%	M: 0 C: 4 100%	M: 0 C: 3 100%	M: 0 C: 12 100%	M: 0 C: 1 100%
consInvChecksStm(boolean, ADefaultClassDeclIR)	M: 0 C: 36 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 5 100%	M: 0 C: 1 100%
consMetaStm(String)	M: 0 C: 16 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 3 100%	M: 0 C: 1 100%
contains(AMetaStmIR)	M: 0 C: 25 100%	M: 0 C: 4 100%	M: 0 C: 3 100%	M: 0 C: 5 100%	M: 0 C: 1 100%
getJmlGen()	M: 0 C: 3 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 1 100%	M: 0 C: 1 100%
inAtomic()	M: 0 C: 7 100%	M: 0 C: 2 100%	M: 0 C: 2 100%	M: 0 C: 1 100%	M: 0 C: 1 100%

Coverage

ERROR: Error while reading the sourcefile!