| 442 | } |
| 443 | |
| 444 | char |
| 445 | pgetchar(void) /* courtesy of aeb@cwi.nl */ |
| 446 | { |
| 447 | int ch = '\0'; |
| 448 | |
| 449 | if (iflags.debug_fuzzer) |
| 450 | return randomkey(); |
| 451 | ch = nhgetch(); |
| 452 | return (char) ch; |
| 453 | } |
| 454 | |
| 455 | /* '#' or whatever has been bound to doextcmd() in its place */ |
| 456 | char |
no test coverage detected