https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692018-07-25T11:57:51ZOpen-Source ProjectsKlever - Feature #9161: Load job function coverage in an intermediate representation as an extra file https://forge.ispras.ru/issues/9161?journal_id=341462018-07-25T11:57:51ZIlja Zakharovilja.zakharov@ispras.ru
<ul><li><strong>Blocks</strong> <i><a class="issue tracker-4 status-5 priority-6 priority-high2 closed" href="/issues/9162">Feature #9162</a>: Implement strategy based on collected coverage to verify kernel subsystems</i> added</li></ul> Klever - Feature #9161: Load job function coverage in an intermediate representation as an extra file https://forge.ispras.ru/issues/9161?journal_id=350292018-10-03T14:16:18ZIlja Zakharovilja.zakharov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li></ul><p>Implemented in klever-2.0 branch.</p> Klever - Feature #9161: Load job function coverage in an intermediate representation as an extra file https://forge.ispras.ru/issues/9161?journal_id=352072018-10-25T18:18:51ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li></ul><p>Branch <em>klever-2.0</em> passed all tests and I merged it to master in <a class="changeset" title="Add more real examples for verification of Linux 3.14 drivers Besides, prepare preset marks for ..." href="https://forge.ispras.ru/projects/klever/repository/331/revisions/72be796e344820a6afb93bb1f2f9dc3d8f3deaa9">72be796e3</a> marked as <em>v2.0rc1</em>.</p>