ContractTranslator

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	522 of 792	34%	62 of 94	34%	46	63	128	203	1	7
translateContractNodeWork(ContractNode, FunctionContract, MPICollectiveBehavior, NamedFunctionBehavior)		30%		36%	30	39	82	125	0	1
translateDependsEvent(DependsEventNode, Scope)		32%		26%	11	14	33	48	0	1
translateMPICollectiveBehavior(MPICollectiveBlockNode, Scope, FunctionContract)		0%		0%	4	4	13	13	1	1
static {...}		75%		50%	1	2	0	1	0	1
ContractTranslator(ModelBuilderWorker, ModelFactory, CIVLTypeFactory, CIVLFunction, CIVLConfiguration)		100%		n/a	0	1	0	7	0	1
translateFunctionContract(SequenceNode)		100%		100%	0	2	0	7	0	1
translateContractNode(ContractNode, FunctionContract)		100%		n/a	0	1	0	2	0	1