I'm guessing that output comes from cloverage, not from us. Maybe see if there's a way to configure it there. Then we can see if there's something we need to expose on the kaocha level to propagate that config.