https://forge.ispras.ru/
https://forge.ispras.ru/favicon.ico?1649012669
2019-11-08T08:09:10Z
Open-Source Projects
Klever - Feature #9905: Allow to select code coverage kind when launching verification job solutions
https://forge.ispras.ru/issues/9905?journal_id=37159
2019-11-08T08:09:10Z
Evgeny Novikov
novikov@ispras.ru
<ul><li><strong>Related to</strong> <i><a class="issue tracker-4 status-5 priority-6 priority-high2 closed" href="/issues/9897">Feature #9897</a>: Develop tutorial</i> added</li></ul>
Klever - Feature #9905: Allow to select code coverage kind when launching verification job solutions
https://forge.ispras.ru/issues/9905?journal_id=37161
2019-11-08T08:09:13Z
Evgeny Novikov
novikov@ispras.ru
<ul><li><strong>Related to</strong> deleted (<i><a class="issue tracker-4 status-5 priority-6 priority-high2 closed" href="/issues/9897">Feature #9897</a>: Develop tutorial</i>)</li></ul>
Klever - Feature #9905: Allow to select code coverage kind when launching verification job solutions
https://forge.ispras.ru/issues/9905?journal_id=37162
2019-11-08T08:09:20Z
Evgeny Novikov
novikov@ispras.ru
<ul><li><strong>Blocks</strong> <i><a class="issue tracker-4 status-5 priority-6 priority-high2 closed" href="/issues/9897">Feature #9897</a>: Develop tutorial</i> added</li></ul>
Klever - Feature #9905: Allow to select code coverage kind when launching verification job solutions
https://forge.ispras.ru/issues/9905?journal_id=37164
2019-11-08T10:47:52Z
Evgeny Novikov
novikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li></ul><p>Implemented in branch <em>improve-confs-and-specs</em>. Everybody can note a new setting at the job start solution page.</p>
Klever - Feature #9905: Allow to select code coverage kind when launching verification job solutions
https://forge.ispras.ru/issues/9905?journal_id=37700
2020-01-16T14:02:04Z
Evgeny Novikov
novikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li></ul><p>In master.</p>
Klever - Feature #9905: Allow to select code coverage kind when launching verification job solutions
https://forge.ispras.ru/issues/9905?journal_id=38273
2020-03-02T11:57:00Z
Evgeny Novikov
novikov@ispras.ru
<ul><li><strong>Has duplicate</strong> <i><a class="issue tracker-4 status-6 priority-5 priority-high3 closed" href="/issues/8611">Feature #8611</a>: Allow to choose details for code coverage when starting job decision</i> added</li></ul>