Code Coverage

Cobertura Coverage Report >

src.mc.explo

Trend

Package Coverage summary

Name	Files	Classes	Lines	Conditionals
src.mc.explo	100% 9/9	100% 9/9	86% 668/778	35% 721/2048

Coverage Breakdown by File

Name	Classes	Lines	Conditionals
CommunicationDeterminismChecker.cpp	100% 1/1	77% 158/206	30% 108/365
DFSExplorer.cpp	100% 1/1	91% 86/94	39% 119/306
DFSExplorer.hpp	100% 1/1	100% 10/10	50% 4/8
Exploration.cpp	100% 1/1	79% 90/114	38% 97/253
Exploration.hpp	100% 1/1	100% 12/12	65% 22/34
OutOfOrderExplorer.cpp	100% 1/1	93% 140/150	39% 195/504
UdporChecker.cpp	100% 1/1	89% 144/161	29% 150/524
UdporChecker.hpp	100% 1/1	100% 1/1	N/A
simgrid_mc.cpp	100% 1/1	90% 27/30	48% 26/54