Coverage improvement. Also, it's rude to die silently.

This commit is contained in:
Eric S. Raymond 2018-11-15 13:55:10 -05:00
parent 3ca9613bcd
commit 31d561b470
3 changed files with 7 additions and 5 deletions

3
main.c
View file

@ -1185,9 +1185,6 @@ Lookup:
default: // LCOV_EXCL_LINE
BUG(VOCABULARY_TYPE_N_OVER_1000_NOT_BETWEEN_0_AND_3); // LCOV_EXCL_LINE
}
if (!is_valid(game)) {
exit(1);
}
switch (action(command)) {
case GO_TERMINATE:
return true;