LibraryComponent

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total980 of 2,61963%89 of 17950%73118174481724
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)9022471%91359%812125301
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
reportUndefinedValueError(State, int, boolean, Expression)340%20%227711
arrayCasting(State, int, SymbolicExpression, SymbolicCompleteArrayType, CIVLSource)3023589%91765%91444801
getDataFrom(State, int, String, Expression, SymbolicExpression, NumericExpression, boolean, boolean, CIVLSource)2018690%21083%2743701
applyMaxLocOperation(NumericExpression[], NumericExpression[])208581%3125%2321301
applyMINOrMAXLOC(State, String, SymbolicExpression[], SymbolicExpression[], boolean, CIVLSource)95185%4450%450601
arrayFlatten(State, int, SymbolicExpression, LibraryComponent.ArrayMeasurement, CIVLSource)610695%1990%1612301
arraySliceRead(State, int, SymbolicExpression, NumericExpression[], NumericExpression, CIVLSource)37296%1375%1301001
name()30%n/a111111
static {...}675%1150%120101
setDataBetween(State, int, SymbolicExpression, NumericExpression[], NumericExpression, NumericExpression, SymbolicExpression, SymbolicExpression, CIVLSource)196100%1990%1603601
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
translateOperator(int)4100%n/a010101