Forcing floating point division for % coverage, so we don't show 0%
[open-adventure.git] / tests / wakedwarves3.chk
2017-07-06 NHOrusMagic-number elimination and fix