Class | Description |
---|---|
BranchAdapter | |
BranchEngine |
BranchEngine implements a test engine that constructs test cases by enumerating
feasible execution traces of bounded length. |
BranchEntry |
BranchEntry represents a node of the internal representation of a branch structure. |
BranchExecution |
BranchExecution represents a single execution of a branch instruction. |
BranchExecutionIterator |
BranchExecutionIterator implements a composite iterator of branch structures and
execution traces. |
BranchStructureIterator |
BranchExecutionIterator implements an iterator of valid branch structures for given branch
instructions (conditional and unconditional jumps, procedures calls, etc.). |
BranchTrace |
BranchTrace represents an execution trace of a branch instruction. |
BranchTraceIterator |
BranchTraceIterator implements an iterator of execution traces for a given branch
structure. |
Enum | Description |
---|---|
BranchEntry.Type | |
BranchStructureIterator.Flags |