| 8019 | void set_read_fd(int fd) { read_fd_ = fd; } |
| 8020 | int write_fd() const { return write_fd_; } |
| 8021 | void set_write_fd(int fd) { write_fd_ = fd; } |
| 8022 | |
| 8023 | // Called in the parent process only. Reads the result code of the death |
| 8024 | // test child process via a pipe, interprets it to set the outcome_ |
nothing calls this directly
no outgoing calls
no test coverage detected