Code Coverage
Cobertura Coverage Report >src.mc.explo
Trend
Package Coverage summary
Name | Files | Classes | Lines | Conditionals | ||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
src.mc.explo |
|
|
|
|
Coverage Breakdown by File
Name | Classes | Lines | Conditionals | ||||||
---|---|---|---|---|---|---|---|---|---|
CommunicationDeterminismChecker.cpp |
|
|
| ||||||
DFSExplorer.cpp |
|
|
| ||||||
DFSExplorer.hpp |
|
|
| ||||||
Exploration.cpp |
|
|
| ||||||
Exploration.hpp |
|
|
| ||||||
OutOfOrderExplorer.cpp |
|
|
| ||||||
UdporChecker.cpp |
|
|
| ||||||
UdporChecker.hpp |
|
| N/A | ||||||
simgrid_mc.cpp |
|
|
|