LibdomainExecutor

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total204 of 51260%11 of 2352%182635102711
executeValue(State, int, String, CIVLSource, String, Expression[], SymbolicExpression[])692224%8111%89131801
execute_domain_partition(State, int, String, Expression[], SymbolicExpression[], CIVLSource)3410475%2250%2362701
execute_range_of_rectangular_domain(State, int, String, Expression[], SymbolicExpression[], CIVLSource)210%n/a113311
execute_is_rectangular_domain(State, int, String, Expression[], SymbolicExpression[], CIVLSource)140%n/a112211
execute_is_regular_range(State, int, String, Expression[], SymbolicExpression[], CIVLSource)140%n/a112211
execute_dimension_of(State, int, String, Expression[], SymbolicExpression[], CIVLSource)110%n/a112211
execute_step_of_regular_range(State, int, String, Expression[], SymbolicExpression[], CIVLSource)110%n/a112211
execute_low_of_regular_range(State, int, String, Expression[], SymbolicExpression[], CIVLSource)110%n/a112211
execute_high_of_regular_range(State, int, String, Expression[], SymbolicExpression[], CIVLSource)110%n/a112211
domainPartition_round_robin(SymbolicExpression, int)817195%1990%1614001
LibdomainExecutor(String, Executor, ModelFactory, SymbolicUtility, SymbolicAnalyzer, CIVLConfiguration, LibraryExecutorLoader, LibraryEvaluatorLoader)11100%n/a010201