added boolean coverage output