https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692019-11-01T15:02:09ZOpen-Source ProjectsDeductive Verification Tools for Linux Kernel - Feature #9895: Disabling single exit pointhttps://forge.ispras.ru/issues/9895?journal_id=371242019-11-01T15:02:09ZMikhail Mandrykinmandrykin@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Open</i></li></ul><p>Added an experimental option "<code>-no-single-return</code>" that disables single-return transformation in commit <a href="https://forge.ispras.ru/projects/astraver/repository/framac/revisions/df5843140e8de5778ac711cb9086c0723c652a7f" class="external">df584314</a>.</p> Deductive Verification Tools for Linux Kernel - Feature #9895: Disabling single exit pointhttps://forge.ispras.ru/issues/9895?journal_id=371652019-11-08T12:10:33ZEvgeny Novikovnovikov@ispras.ru
<ul></ul><p>For me it works. Can we close the issue?</p> Deductive Verification Tools for Linux Kernel - Feature #9895: Disabling single exit pointhttps://forge.ispras.ru/issues/9895?journal_id=373252019-12-03T06:55:21ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Open</i> to <i>Closed</i></li></ul>