otopi based program testing: coverage reports