LibcivlcEnabler

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	961 of 961	0%	149 of 149	0%	100	100	148	148	9	9
evaluateGuard(CIVLSource, State, int, String, List)		0%		0%	58	58	25	25	1	1
ampleSetWork(State, int, CallOrSpawnStatement, Map)		0%		0%	17	17	47	47	1	1
getMatchedMessageFromGcomm(int, SymbolicExpression, SymbolicExpression, SymbolicExpression, SymbolicExpression, CIVLSource)		0%		0%	8	8	27	27	1	1
getDequeueGuard(State, int, List, SymbolicExpression[])		0%		0%	2	2	17	17	1	1
getBarrierExitGuard(State, int, List, SymbolicExpression[])		0%		0%	2	2	15	15	1	1
ampleSet(State, int, CallOrSpawnStatement, Map)		0%		0%	9	9	7	7	1	1
getWaitGuard(State, int, List, SymbolicExpression[])		0%		0%	2	2	7	7	1	1
LibcivlcEnabler(Enabler, PrintStream, ModelFactory)		0%		n/a	1	1	2	2	1	1
name()		0%		n/a	1	1	1	1	1	1