Unfalsify coverage check

Merged username-removed-1354299 requested to merge NHOrus/open-adventure:more_tests into master

Merge request reports