https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692020-10-14T12:14:15ZOpen-Source ProjectsKlever - Bug #10525: Consider program fragment and requiremens specification as attribute for comparisonhttps://forge.ispras.ru/issues/10525?journal_id=397492020-10-14T12:14:15ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li></ul><p>I fixed this in branch <em>compare-vtg-attrs</em>. Let's wait for CI.</p> Klever - Bug #10525: Consider program fragment and requiremens specification as attribute for comparisonhttps://forge.ispras.ru/issues/10525?journal_id=397962020-10-21T12:23:54ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li></ul><p>Tests passed, so, I merged the branch to master in <a class="changeset" title="Merge branch 'master' into compare-vtg-attrs" href="https://forge.ispras.ru/projects/klever/repository/331/revisions/7595504af01f7100a42f96a137517d06338f15ca">7595504af</a>.</p>