Package: IsaPog

IsaPog

name	instruction	branch	complexity	line	method
IsaPog(List)	M: 0 C: 55 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 9 100%	M: 0 C: 1 100%
getErrorMessage()	M: 36 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 7 C: 0 0%	M: 1 C: 0 0%
getModelThyName()	M: 3 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 1 C: 0 0%	M: 1 C: 0 0%
getModelThyString()	M: 4 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 1 C: 0 0%	M: 1 C: 0 0%
getPosThyName()	M: 3 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 1 C: 0 0%	M: 1 C: 0 0%
getPosThyString()	M: 3 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 1 C: 0 0%	M: 1 C: 0 0%
hasErrors()	M: 16 C: 0 0%	M: 6 C: 0 0%	M: 4 C: 0 0%	M: 2 C: 0 0%	M: 1 C: 0 0%
makePoLemma(IProofObligation)	M: 0 C: 72 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 17 100%	M: 0 C: 1 100%
makePosThy(IProofObligationList, String)	M: 0 C: 42 100%	M: 0 C: 2 100%	M: 0 C: 2 100%	M: 0 C: 10 100%	M: 0 C: 1 100%
makePosThyHeader(String)	M: 0 C: 47 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 12 100%	M: 0 C: 1 100%
writeThyFiles(String)	M: 0 C: 38 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 5 100%	M: 0 C: 1 100%

Coverage

ERROR: Error while reading the sourcefile!