Class | Description |
---|---|
LabelManager |
The role of the
LabelManager class is resolving references to labels that have the same
names, but are defined in different blocks. |
LabelManager.Target |
The
LabelManager.Target class stores information about the target the specified label points to. |
Printer |
The Printer class is responsible for printing generated symbolic test programs (sequences of
concrete calls to a file and to the screen).
|
SelfCheck | |
Statistics |
The
Statistics class collects statistical information and performance metrics
during test program generation. |
TestEngine | |
TestEngineUtils | |
TestSequence |
The
TestSequence class describes a test sequence, a symbolic test program (or a part of a
test program) that consists of concrete calls which can be simulated on the microprocessor model
or dumped to textual representation (assembler code). |
TestSequence.Builder |
Enum | Description |
---|---|
Statistics.Activity |
Exception | Description |
---|---|
GenerationAbortedException |