LibraryComponent

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total1,126 of 2,49155%78 of 15851%64106183435723
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
setDataFrom(State, int, String, Expression, SymbolicExpression, NumericExpression, SymbolicExpression, boolean, CIVLSource)10522168%111354%1013135401
applyMinLocOperation(NumericExpression[], NumericExpression[])1050%40%33131311
flattenToMultiDimensionalArrayWorker(int[], int, SymbolicType, SymbolicExpression, int)1000%60%44161611
arrayLambdaFlatten2(State, SymbolicExpression, NumericExpression[], NumericExpression[], CIVLSource)962621%8220%56192701
arrayCasting(State, int, SymbolicExpression, LibraryComponent.ArrayMeasurement, SymbolicCompleteArrayType, CIVLSource)901514%7112%45151801
reportOutOfBoundError(State, int, BooleanExpression, ValidityResult.ResultType, SymbolicExpression, NumericExpression, NumericExpression, CIVLSource)740%40%33111111
reportUndefinedValueError(State, int, boolean, Expression)340%20%227711
getDataFrom(State, int, String, Expression, SymbolicExpression, NumericExpression, boolean, boolean, CIVLSource)2017690%21083%2743401
applyMaxLocOperation(NumericExpression[], NumericExpression[])208581%3125%2321301
arraySliceRead(State, int, SymbolicExpression, NumericExpression[], NumericExpression, CIVLSource)1115793%31179%3802501
flattenToMultiDimensionalArray(int[], SymbolicType, SymbolicExpression)100%n/a111111
applyMINOrMAXLOC(State, String, SymbolicExpression[], SymbolicExpression[], boolean, CIVLSource)95185%4450%450601
arrayFlatten(State, int, SymbolicExpression, LibraryComponent.ArrayMeasurement, CIVLSource)610895%11192%1712301
name()30%n/a111111
static {...}675%1150%120101
setDataBetween(State, int, SymbolicExpression, NumericExpression[], NumericExpression, NumericExpression, SymbolicExpression, SymbolicExpression, CIVLSource)205100%1990%1603801
LibraryComponent(String, SymbolicUniverse, SymbolicUtility, SymbolicAnalyzer, CIVLConfiguration, LibraryEvaluatorLoader, ModelFactory, CIVLErrorLogger, Evaluator)84100%n/a0102301
evaluateArguments(State, int, Expression[])39100%2100%020801
operandCounts(LibraryComponent.CIVLOperator)12100%1375%130301
translateOperator(int)4100%n/a010101