https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692019-07-15T08:52:30ZOpen-Source ProjectsKlever - Feature #9604: Develop new test suite for CPAchecker on base of Klever integration testshttps://forge.ispras.ru/issues/9604?journal_id=365372019-07-15T08:52:30ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Priority</strong> changed from <i>Urgent</i> to <i>High</i></li><li><strong>Target version</strong> deleted (<del><i>3.0</i></del>)</li></ul><p>Although this is important issue, but we have completely no time for it.</p> Klever - Feature #9604: Develop new test suite for CPAchecker on base of Klever integration testshttps://forge.ispras.ru/issues/9604?journal_id=401972021-01-19T11:42:42ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Blocks</strong> <i><a class="issue tracker-4 status-5 priority-5 priority-high3 closed" href="/issues/7356">Feature #7356</a>: Create additional validation set</i> added</li></ul> Klever - Feature #9604: Develop new test suite for CPAchecker on base of Klever integration testshttps://forge.ispras.ru/issues/9604?journal_id=401992021-01-19T11:42:50ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Target version</strong> set to <i>3.1</i></li></ul><p>Let's do this in Klever <a class="version" href="https://forge.ispras.ru/versions/362">3.1</a>.</p> Klever - Feature #9604: Develop new test suite for CPAchecker on base of Klever integration testshttps://forge.ispras.ru/issues/9604?journal_id=404552021-02-26T14:02:30ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Target version</strong> changed from <i>3.1</i> to <i>3.2</i></li></ul><p>We need to release Klever <a class="version" href="https://forge.ispras.ru/versions/362">3.1</a> faster due to an incompatibility with Clade 3.3+ and a new OpenStack cloud.</p> Klever - Feature #9604: Develop new test suite for CPAchecker on base of Klever integration testshttps://forge.ispras.ru/issues/9604?journal_id=407932021-06-01T16:58:36ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Open</i> to <i>Closed</i></li><li><strong>Target version</strong> deleted (<del><i>3.2</i></del>)</li></ul><p>Indeed, this task was done even in Klever <a class="version" href="https://forge.ispras.ru/versions/248">1.0</a>.</p> Klever - Feature #9604: Develop new test suite for CPAchecker on base of Klever integration testshttps://forge.ispras.ru/issues/9604?journal_id=407942021-06-01T16:58:43ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Blocks</strong> deleted (<i><a class="issue tracker-4 status-5 priority-5 priority-high3 closed" href="/issues/7356">Feature #7356</a>: Create additional validation set</i>)</li></ul>