EMMA Coverage Report (generated Wed May 26 19:42:49 CEST 2010)
[all classes]

COVERAGE SUMMARY FOR PACKAGE [de.uka.ipd.sdq.pcmsolver.handler]

nameclass, %method, %block, %
de.uka.ipd.sdq.pcmsolver.handler0%   (0/10)0%   (0/42)0%   (0/1129)

COVERAGE BREAKDOWN BY CLASS

nameclass, %method, %block, %
AbstractBranchTransitionHandler0%   (0/1)0%   (0/4)0%   (0/44)
AbstractLoopActionHandler0%   (0/1)0%   (0/5)0%   (0/113)
CollectionIteratorActionHandler0%   (0/1)0%   (0/4)0%   (0/145)
ExternalCallActionHandler0%   (0/1)0%   (0/8)0%   (0/405)
GuardedBranchTransitionHandler0%   (0/1)0%   (0/5)0%   (0/83)
InternalActionHandler0%   (0/1)0%   (0/6)0%   (0/211)
LoopActionHandler0%   (0/1)0%   (0/3)0%   (0/43)
ProbabilisticBranchTransitionHandler0%   (0/1)0%   (0/3)0%   (0/29)
RecoveryBlockActionHandler0%   (0/1)0%   (0/2)0%   (0/30)
SetVariableActionHandler0%   (0/1)0%   (0/2)0%   (0/26)

[all classes]
EMMA 2.0.9414 (unsupported private build) (C) Vladimir Roubtsov