LibbundleExecutor

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total429 of 1,95778%43 of 14871%439654333120
commonBaseType(Reasoner, ArrayToolBox.ArraySlice, ArrayToolBox.ArrayShape, ArrayToolBox.ArraySlice, ArrayToolBox.ArrayShape)15415150%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)1615190%1375%1323101
executeBundleSize(State, int, String, Expression[], SymbolicExpression[], CIVLSource)125783%6650%6701001
pack(Reasoner, SymbolicExpression, ArrayToolBox.ArrayShape, NumericExpression[], NumericExpression, CIVLSource)1112392%51169%5912501
reportBundleUnpackError(State, int, SymbolicExpression, SymbolicExpression, CIVLType, NumericExpression, NumericExpression, BooleanExpression, ValidityResult.ResultType, CIVLSource)1111691%n/a0122101
unpack_bundleSliceFitInMemorySubArray(Reasoner, ArrayToolBox.ArraySlice, ArrayToolBox.ArrayShape, SymbolicExpression, ArrayToolBox.ArrayShape, NumericExpression[])78692%21083%2701801
executeBundleUnpack(State, int, String, Expression[], SymbolicExpression[], CIVLSource)20499%11192%1704401
isSubArray(Reasoner, ArrayToolBox.ArrayShape, ArrayToolBox.ArrayShape)5697%2467%241801
static {...}880%1150%120201
extractBundleData(SymbolicExpression)88100%4100%0301901
bytewiseDataSize(ArrayToolBox.ArrayShape, NumericExpression[])72100%2100%020801
packAsSliceFunction(SymbolicExpression, NumericExpression[], NumericExpression, SymbolicType, CIVLSource)64100%n/a010901
executeValue(State, int, String, CIVLSource, String, Expression[], SymbolicExpression[])62100%5964%5100801
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