More coverage improvements.
authorEric S. Raymond <esr@thyrsus.com>
Fri, 14 Jul 2017 16:00:29 +0000 (12:00 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Fri, 14 Jul 2017 16:00:29 +0000 (12:00 -0400)
commit61570c700b609552eeb68bfc755ca5210ecbeadf
tree7d68f40af613dde97c7ea19b9a9a08269cc311da
parent66fba512a7c3bb8db96e46911fabb53a1042f2a2
More coverage improvements.
tests/coverage_dungeon.py
tests/defeat.chk
tests/defeat.log