LibraryComponent

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total1,002 of 2,57661%76 of 17556%62117181464623
applyCIVLOperation(State, int, String, SymbolicExpression[], LibraryComponent.CIVLOperator, NumericExpression, SymbolicType, CIVLSource)17011740%9950%610315401
arrayLambdaFlatten2(State, SymbolicExpression, NumericExpression[], NumericExpression[], CIVLSource)1220%100%66272711
singleApplyCIVLOperation(State, int, String, SymbolicExpression[], SymbolicExpression[], LibraryComponent.CIVLOperator, int, CIVLSource)12120062%91460%919245601
arraySliceWrite1d(State, int, SymbolicExpression, SymbolicExpression, NumericExpression, CIVLSource)1150%40%33242411
setDataFrom(State, int, String, Expression, SymbolicExpression, NumericExpression, SymbolicExpression, boolean, CIVLSource)11022166%151346%1115165701
applyMinLocOperation(NumericExpression[], NumericExpression[])1050%40%33131311
setDataBetween(State, int, SymbolicExpression, NumericExpression[], NumericExpression, NumericExpression, SymbolicExpression, SymbolicExpression, CIVLSource)6713867%1990%16143801
reportOutOfBoundError(State, int, BooleanExpression, ValidityResult.ResultType, SymbolicExpression, NumericExpression, NumericExpression, CIVLSource)630%40%33111111
reportUndefinedValueError(State, int, boolean, Expression)270%20%227711
arrayCasting(State, int, SymbolicExpression, LibraryComponent.ArrayMeasurement, SymbolicCompleteArrayType, CIVLSource)256873%2675%2541801
getDataFrom(State, int, String, Expression, SymbolicExpression, NumericExpression, boolean, boolean, CIVLSource)2018890%41275%4943601
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)95084%3350%341601
name()30%n/a111111
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
static {...}100%n/a010101