https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692021-04-08T10:15:53ZOpen-Source ProjectsKlever - Feature #10786: Describe analysis of code coveragehttps://forge.ispras.ru/issues/10786?journal_id=405942021-04-08T10:15:53ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Priority</strong> changed from <i>High</i> to <i>Urgent</i></li></ul><p>Features related to code coverage are most important at the moment.</p> Klever - Feature #10786: Describe analysis of code coveragehttps://forge.ispras.ru/issues/10786?journal_id=405962021-04-08T10:16:19ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Blocked by</strong> <i><a class="issue tracker-4 status-5 priority-6 priority-high2 closed behind-schedule" href="/issues/10792">Feature #10792</a>: Allow to navigate through covered lines of code</i> added</li></ul> Klever - Feature #10786: Describe analysis of code coveragehttps://forge.ispras.ru/issues/10786?journal_id=405982021-04-08T10:16:38ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Blocked by</strong> <i><a class="issue tracker-4 status-5 priority-6 priority-high2 closed" href="/issues/10794">Feature #10794</a>: Add notes from CPAchecker SMG to code coverage</i> added</li></ul> Klever - Feature #10786: Describe analysis of code coveragehttps://forge.ispras.ru/issues/10786?journal_id=406362021-04-21T10:17:32ZEvgeny Novikovnovikov@ispras.ru
<ul></ul><p>I did this in branch <em>coverage-docs</em> to the extent that is possible at the moment (there are ongoing works in CPAchecker still).</p> Klever - Feature #10786: Describe analysis of code coveragehttps://forge.ispras.ru/issues/10786?journal_id=407532021-05-13T17:11:01ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li></ul><p>I merged this branch to <em>better-code-coverage</em>.</p> Klever - Feature #10786: Describe analysis of code coveragehttps://forge.ispras.ru/issues/10786?journal_id=408702021-07-02T17:04:31ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li></ul><p>I merged the branch to master in <a class="changeset" title="Merge branch 'better-code-coverage'" href="https://forge.ispras.ru/projects/klever/repository/331/revisions/d17402872600aed12ee044961f9442fe4a650252">d17402872</a>.</p>