LibbundleExecutor

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total429 of 1,89177%38 of 13872%389054329120
commonBaseType(Reasoner, ArrayToolBox.ArraySlice, ArrayToolBox.ArrayShape, ArrayToolBox.ArraySlice, ArrayToolBox.ArrayShape)15415149%91359%912153701
reportBundlePackError(State, int, SymbolicExpression, NumericExpression, NumericExpression, BooleanExpression, ValidityResult.ResultType, CIVLSource)990%n/a11171711
arraySliceNarrower(Reasoner, ArrayToolBox.ArraySlice, ArrayToolBox.ArrayShape)645144%3562%3581801
unpack(Reasoner, SymbolicExpression, ArrayToolBox.ArrayShape, SymbolicExpression, ArrayToolBox.ArrayShape, NumericExpression[])4915075%81869%71484001
executeBundlePack(State, int, String, Expression[], SymbolicExpression[], CIVLSource)1614790%1375%1323101
executeBundleSize(State, int, String, Expression[], SymbolicExpression[], CIVLSource)123876%6650%670701
pack(Reasoner, SymbolicExpression, ArrayToolBox.ArrayShape, NumericExpression[], NumericExpression, CIVLSource)1112191%51168%5912601
reportBundleUnpackError(State, int, SymbolicExpression, SymbolicExpression, CIVLType, NumericExpression, NumericExpression, BooleanExpression, ValidityResult.ResultType, CIVLSource)1110790%n/a0121901
unpack_bundleSliceFitInMemorySubArray(Reasoner, ArrayToolBox.ArraySlice, ArrayToolBox.ArrayShape, SymbolicExpression, ArrayToolBox.ArrayShape, NumericExpression[])78692%21083%2701801
executeBundleUnpack(State, int, String, Expression[], SymbolicExpression[], CIVLSource)19598%12100%0704301
isSubArray(Reasoner, ArrayToolBox.ArrayShape, ArrayToolBox.ArrayShape)5696%2466%241801
static {...}880%1150%120201
extractBundleData(SymbolicExpression)88100%4100%0301901
bytewiseDataSize(ArrayToolBox.ArrayShape, NumericExpression[])70100%2100%020901
packAsSliceFunction(SymbolicExpression, NumericExpression[], NumericExpression, SymbolicType, CIVLSource)64100%n/a010901
executeValue(State, int, String, CIVLSource, String, Expression[], SymbolicExpression[])41100%1375%140801
zeroTrim(Reasoner, NumericExpression[])29100%4100%030401
zeroFill(NumericExpression[], int)25100%2100%020601
LibbundleExecutor(String, Executor, ModelFactory, SymbolicUtility, SymbolicAnalyzer, CIVLConfiguration, LibraryExecutorLoader, LibraryEvaluatorLoader)18100%n/a010301
isBundleSubarrayFunction(SymbolicExpression)17100%2100%020501