EMMA Coverage Report (generated Sun Feb 05 10:43:15 CET 2012)
[all classes]

COVERAGE SUMMARY FOR PACKAGE [de.uka.ipd.sdq.dsexplore.qml.contracttype.QMLContractType]

nameclass, %method, %block, %line, %
de.uka.ipd.sdq.dsexplore.qml.contracttype.QMLContractType0%   (0/2)0%   (0/22)0%   (0/284)0%   (0/68)

COVERAGE BREAKDOWN BY SOURCE FILE

nameclass, %method, %block, %line, %
EnumNumericDomain.java0%   (0/1)0%   (0/11)0%   (0/142)0%   (0/34)
EnumRelationSemantics.java0%   (0/1)0%   (0/11)0%   (0/142)0%   (0/34)

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