EMMA Coverage Report (generated Sat Nov 28 14:34:08 CET 2009)
[all classes]

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

nameclass, %method, %block, %
de.uka.ipd.sdq.pcmsolver.handler0%   (0/9)0%   (0/40)0%   (0/1173)

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/285)
LoopActionHandler0%   (0/1)0%   (0/3)0%   (0/43)
ProbabilisticBranchTransitionHandler0%   (0/1)0%   (0/3)0%   (0/29)
SetVariableActionHandler0%   (0/1)0%   (0/2)0%   (0/26)

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