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

COVERAGE SUMMARY FOR PACKAGE [EssentialOCL]

nameclass, %method, %block, %line, %
EssentialOCL0%   (0/1)0%   (0/11)0%   (0/199)0%   (0/46)

COVERAGE BREAKDOWN BY SOURCE FILE

nameclass, %method, %block, %line, %
CollectionKind.java0%   (0/1)0%   (0/11)0%   (0/199)0%   (0/46)

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