you can check test coverage to verify this (though our coverage tool can only know if the code is run, not if the results are checked)