Irrelevant events
| 64 | |
| 65 | // Irrelevant events |
| 66 | bool Null() { |
| 67 | if (terminated()) return false; |
| 68 | return true; |
| 69 | } |
| 70 | bool Bool(bool b) { |
| 71 | if (terminated()) return false; |
| 72 | return true; |
nothing calls this directly
no outgoing calls
no test coverage detected