LibdomainExecutor

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	255 of 566	55%	35 of 48	27%	35	42	36	102	7	11
executeValue(State, int, String, CIVLSource, String, Expression[], SymbolicExpression[])		20%		9%	24	25	13	18	0	1
execute_domain_partition(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		76%		50%	2	3	6	27	0	1
execute_range_of_rectangular_domain(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		0%		n/a	1	1	3	3	1	1
execute_is_rectangular_domain(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		0%		n/a	1	1	2	2	1	1
execute_is_regular_range(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		0%		n/a	1	1	2	2	1	1
domainPartition_round_robin(SymbolicExpression, int)		93%		80%	2	6	2	40	0	1
execute_dimension_of(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		0%		n/a	1	1	2	2	1	1
execute_step_of_regular_range(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		0%		n/a	1	1	2	2	1	1
execute_low_of_regular_range(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		0%		n/a	1	1	2	2	1	1
execute_high_of_regular_range(State, int, String, Expression[], SymbolicExpression[], CIVLSource)		0%		n/a	1	1	2	2	1	1
LibdomainExecutor(String, Executor, ModelFactory, SymbolicUtility, SymbolicAnalyzer, CIVLConfiguration, LibraryExecutorLoader, LibraryEvaluatorLoader)		100%		n/a	0	1	0	2	0	1