https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692020-08-14T10:40:15ZOpen-Source ProjectsKlever - Bug #10464: Missing assumptions when converting violation witnesses to error traceshttps://forge.ispras.ru/issues/10464?journal_id=394822020-08-14T10:40:15ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li></ul><p>I fixed the issue in branch <em>fix-missed-error-trace-assumptions</em> that is tested right now. Unfortunately, all previously obtained error traces will not have assumptions since they were lost during transformation.</p> Klever - Bug #10464: Missing assumptions when converting violation witnesses to error traceshttps://forge.ispras.ru/issues/10464?journal_id=394832020-08-14T12:53:24ZEvgeny 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="Propagate assumptions from violation witnesses to error traces" href="https://forge.ispras.ru/projects/klever/repository/331/revisions/58a40a52e01a36ca66ee0740dab0ee606ce505f8">58a40a52e</a>.</p>