ContractTranslator

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	519 of 791	34%	61 of 94	35%	45	63	126	203	1	7
translateContractNodeWork(ContractNode, FunctionContract, MPICollectiveBehavior, NamedFunctionBehavior)		30%		36%	30	39	82	125	0	1
translateDependsEvent(DependsEventNode, Scope)		34%		32%	10	14	31	48	0	1
translateMPICollectiveBehavior(MPICollectiveBlockNode, Scope, FunctionContract)		0%		0%	4	4	13	13	1	1
static {...}		75%		50%	1	2	0	1	0	1
translateFunctionContract(SequenceNode)		100%		100%	0	2	0	7	0	1
ContractTranslator(ModelBuilderWorker, ModelFactory, CIVLTypeFactory, CIVLFunction)		100%		n/a	0	1	0	7	0	1
translateContractNode(ContractNode, FunctionContract)		100%		n/a	0	1	0	2	0	1