https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692021-04-03T13:06:03ZOpen-Source ProjectsKlever - Feature #10791: Try to exclude "linux/user_namespace.h" from additional headers of EMG for checking memory safetyhttps://forge.ispras.ru/issues/10791?journal_id=405842021-04-03T13:06:03ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li></ul><p>I did this trivial change in branch <em>exclude-user-namespace-header</em>. Let's see on testing results.</p> Klever - Feature #10791: Try to exclude "linux/user_namespace.h" from additional headers of EMG for checking memory safetyhttps://forge.ispras.ru/issues/10791?journal_id=405892021-04-06T06:52:52ZEvgeny 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 'exclude-user-namespace-header'" href="https://forge.ispras.ru/projects/klever/repository/331/revisions/c6966e1351da8f9b6faa0c3d998e9a3af569e0c9">c6966e135</a>.</p>