https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692018-07-03T08:30:43ZOpen-Source ProjectsKlever - Feature #8646: Optimize total coverage calculationhttps://forge.ispras.ru/issues/8646?journal_id=336952018-07-03T08:30:43ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Assignee</strong> changed from <i>Alexey Polushkin</i> to <i>Ilja Zakharov</i></li><li><strong>Target version</strong> changed from <i>2.0</i> to <i>1.1</i></li></ul><p>This issue is not strictly bound with purposes of <a class="version" href="https://forge.ispras.ru/versions/247">2.0</a> that targets verification of C software.</p> Klever - Feature #8646: Optimize total coverage calculationhttps://forge.ispras.ru/issues/8646?journal_id=341382018-07-25T08:36:40ZIlja Zakharovilja.zakharov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li></ul><p>Implemented in 8646-optimized-coverage.</p> Klever - Feature #8646: Optimize total coverage calculationhttps://forge.ispras.ru/issues/8646?journal_id=342132018-07-27T21:54:53ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Open</i></li></ul><p>Please, merge latest master to that branch - there are non-trivial conflicts.</p> Klever - Feature #8646: Optimize total coverage calculationhttps://forge.ispras.ru/issues/8646?journal_id=342162018-07-30T19:04:11ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Open</i> to <i>Closed</i></li></ul><p>I merged master to the branch and tested it. Our tests don't show noticeable differences in consumed computational resources related with coverage calculation. But for large scale verification one will feel the difference. Indeed, Ilja got rid of linear dependency of computational resources on the number of checked rule specifications. So, now Klever will not fail when checking many rule specifications due to lack of memory at the end of work.</p>
<p>I merged the branch to master in <a class="changeset" title="Merge branch 'master' into 8646-optimized-coverage" href="https://forge.ispras.ru/projects/klever/repository/331/revisions/40fd1a68d28215416d4f5e5bb4d1dafafe50dffa">40fd1a68d</a>.</p>