(self)
| 92 | ] |
| 93 | |
| 94 | def copy(self) -> BranchStatement: |
| 95 | result = BranchStatement(self.initial_state) |
| 96 | result.branches = [b.copy() for b in self.branches] |
| 97 | return result |
| 98 | |
| 99 | def next_branch(self) -> None: |
| 100 | self.branches.append( |
nothing calls this directly
no test coverage detected