Package: org.overture.interpreter.traces
Coverage Summary
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
org.overture.interpreter.traces |
|
|
|
|
|
|
Coverage Breakdown by Source File
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
AlternativeTraceNode |
|
|
|
|
|
|
||||||||||||||||||||||||
CallSequence |
|
|
|
|
|
|
||||||||||||||||||||||||
ConcurrentTraceNode |
|
|
|
|
|
|
||||||||||||||||||||||||
IIterableTraceNode |
|
|
|
|
|
|
||||||||||||||||||||||||
PermuteArray |
|
|
|
|
|
|
||||||||||||||||||||||||
Permutor |
|
|
|
|
|
|
||||||||||||||||||||||||
ReducedTestSequence |
|
|
|
|
|
|
||||||||||||||||||||||||
ReducedTestSequence$RandomReductionIterator |
|
|
|
|
|
|
||||||||||||||||||||||||
ReducedTestSequence$ShapeIterator |
|
|
|
|
|
|
||||||||||||||||||||||||
ReducedTestSequence$ShapeReductionIterator |
|
|
|
|
|
|
||||||||||||||||||||||||
RepeatTraceNode |
|
|
|
|
|
|
||||||||||||||||||||||||
SequenceTraceNode |
|
|
|
|
|
|
||||||||||||||||||||||||
StatementTraceNode |
|
|
|
|
|
|
||||||||||||||||||||||||
TestSequence |
|
|
|
|
|
|
||||||||||||||||||||||||
TestSequence$1 |
|
|
|
|
|
|
||||||||||||||||||||||||
TestSequence$TestData |
|
|
|
|
|
|
||||||||||||||||||||||||
TraceExpander |
|
|
|
|
|
|
||||||||||||||||||||||||
TraceNode |
|
|
|
|
|
|
||||||||||||||||||||||||
TraceReductionType |
|
|
|
|
|
|
||||||||||||||||||||||||
TraceVariable |
|
|
|
|
|
|
||||||||||||||||||||||||
TraceVariableList |
|
|
|
|
|
|
||||||||||||||||||||||||
TraceVariableStatement |
|
|
|
|
|
|
||||||||||||||||||||||||
TypeCheckedTestSequence |
|
|
|
|
|
|
||||||||||||||||||||||||
Verdict |
|
|
|
|
|
|