| 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 |
|
| BranchExecutionIterator |
|
| BranchSolution |
|
| BranchStructure |
BranchStructure implements an internal representation of branch structures.
|
| 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 |
|