LibraryComponent

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total977 of 2,58562%80 of 16953%64115173474726
applyCIVLOperation(State, int, String, SymbolicExpression[], LibraryComponent.CIVLOperator, NumericExpression, SymbolicType, CIVLSource)16911641%9950%610315401
singleApplyCIVLOperation(State, String, SymbolicExpression[], SymbolicExpression[], LibraryComponent.CIVLOperator, int, CIVLSource)1576028%7330%710253401
arraySliceWrite1d(State, int, SymbolicExpression, SymbolicExpression, NumericExpression, CIVLSource)1150%40%33242411
applyMinLocOperation(NumericExpression[], NumericExpression[])1050%40%33131311
setDataFrom(State, int, String, Expression, SymbolicExpression, NumericExpression, SymbolicExpression, boolean, CIVLSource)8023675%81464%712115501
reportOutOfBoundError(State, int, BooleanExpression, ValidityResult.ResultType, SymbolicExpression, NumericExpression, NumericExpression, CIVLSource)780%40%33111111
typingUp(SymbolicExpression)520%100%66141411
pointerTyping(State, int, SymbolicExpression, NumericExpression, CIVLSource)468765%14422%910173601
typingDown(SymbolicExpression, SymbolicType)410%30%338811
arrayCasting(State, int, SymbolicExpression, LibraryComponent.ArrayMeasurement, SymbolicCompleteArrayType, CIVLSource)376865%2675%2541801
reportUndefinedValueError(State, int, boolean, Expression)340%20%227711
getDataFrom(State, int, String, Expression, SymbolicExpression, NumericExpression, boolean, boolean, CIVLSource)2018890%21083%2743801
applyMaxLocOperation(NumericExpression[], NumericExpression[])208581%3125%2321301
applyMINOrMAXLOC(State, String, SymbolicExpression[], SymbolicExpression[], boolean, CIVLSource)95185%4450%450601
arrayFlatten(State, int, SymbolicExpression, LibraryComponent.ArrayMeasurement, CIVLSource)610795%11192%1712301
arraySliceRead(State, int, SymbolicExpression, NumericExpression[], NumericExpression, CIVLSource)37496%1375%1301101
name()30%n/a111111
static {...}675%1150%120101
setDataBetween(State, int, SymbolicExpression, NumericExpression[], NumericExpression, NumericExpression, SymbolicExpression, SymbolicExpression, CIVLSource)205100%10100%0603801
flattenToMultiDimensionalArrayWorker(int[], int, SymbolicType, SymbolicExpression, int)100100%6100%0401601
LibraryComponent(String, SymbolicUniverse, SymbolicUtility, SymbolicAnalyzer, CIVLConfiguration, LibraryEvaluatorLoader, ModelFactory, CIVLErrorLogger, Evaluator)84100%n/a0102301
arrayLambdaFlatten2(State, SymbolicExpression, NumericExpression[], CIVLSource)76100%2100%0201701
evaluateArguments(State, int, Expression[])39100%2100%020801
operandCounts(LibraryComponent.CIVLOperator)12100%1375%130301
flattenToMultiDimensionalArray(int[], SymbolicType, SymbolicExpression)10100%n/a010101
translateOperator(int)4100%n/a010101