LibraryComponent

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total984 of 2,55161%71 of 17158%60115178459623
applyCIVLOperation(State, int, String, SymbolicExpression[], LibraryComponent.CIVLOperator, NumericExpression, SymbolicType, CIVLSource)16911640%9950%610315401
arrayLambdaFlatten2(State, SymbolicExpression, NumericExpression[], NumericExpression[], CIVLSource)1220%100%66272711
singleApplyCIVLOperation(State, String, SymbolicExpression[], SymbolicExpression[], LibraryComponent.CIVLOperator, int, CIVLSource)12020062%91460%919245601
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)9422170%101458%913135401
setDataBetween(State, int, SymbolicExpression, NumericExpression[], NumericExpression, NumericExpression, SymbolicExpression, SymbolicExpression, CIVLSource)6713867%1990%16143801
reportOutOfBoundError(State, int, BooleanExpression, ValidityResult.ResultType, SymbolicExpression, NumericExpression, NumericExpression, CIVLSource)620%40%33111111
reportUndefinedValueError(State, int, boolean, Expression)260%20%227711
arrayCasting(State, int, SymbolicExpression, LibraryComponent.ArrayMeasurement, SymbolicCompleteArrayType, CIVLSource)256873%2675%2541801
getDataFrom(State, int, String, Expression, SymbolicExpression, NumericExpression, boolean, boolean, CIVLSource)2017689%21083%2743401
applyMaxLocOperation(NumericExpression[], NumericExpression[])208580%3125%2321301
arrayFlatten(State, int, SymbolicExpression, LibraryComponent.ArrayMeasurement, CIVLSource)1410087%21083%2722301
arraySliceRead(State, int, SymbolicExpression, NumericExpression[], NumericExpression, CIVLSource)1115793%31178%3802701
applyMINOrMAXLOC(State, String, SymbolicExpression[], SymbolicExpression[], boolean, CIVLSource)95185%4450%451601
name()30%n/a111111
static {...}675%1150%120101
flattenToMultiDimensionalArrayWorker(int[], int, SymbolicType, SymbolicExpression, int)101100%6100%0401601
LibraryComponent(String, SymbolicUniverse, SymbolicUtility, SymbolicAnalyzer, CIVLConfiguration, LibraryEvaluatorLoader, ModelFactory, CIVLErrorLogger, Evaluator)84100%n/a0102301
evaluateArguments(State, int, Expression[])38100%2100%020801
operandCounts(LibraryComponent.CIVLOperator)12100%1375%130301
flattenToMultiDimensionalArray(int[], SymbolicType, SymbolicExpression)10100%n/a010101
translateOperator(int)4100%n/a010101