Package: AxiomLoader

AxiomLoader

name	instruction	branch	complexity	line	method
AxiomLoader(Connector, RuntimeConfiguration)	M: 0 C: 14 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 5 100%	M: 0 C: 1 100%
createLoader(NamedResource, AxiomBuilder)	M: 0 C: 16 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 2 100%	M: 0 C: 1 100%
findStatements(AxiomDescriptor)	M: 0 C: 57 100%	M: 0 C: 4 100%	M: 0 C: 3 100%	M: 0 C: 11 100%	M: 0 C: 1 100%
loadAxioms(AxiomDescriptor)	M: 0 C: 4 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 1 100%	M: 0 C: 1 100%
loadAxioms(NamedResource, boolean, URI)	M: 3 C: 19 86%	M: 1 C: 1 50%	M: 1 C: 1 50%	M: 0 C: 4 100%	M: 0 C: 1 100%
processAssertions(AxiomDescriptor)	M: 0 C: 69 100%	M: 0 C: 6 100%	M: 0 C: 4 100%	M: 0 C: 14 100%	M: 0 C: 1 100%

Coverage

ERROR: Error while reading the sourcefile!