https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692017-04-26T09:34:10ZOpen-Source ProjectsKlever - Feature #8171: Get rid of repeated unknowns during multimodule verificationhttps://forge.ispras.ru/issues/8171?journal_id=302742017-04-26T09:34:10ZEvgeny Novikovnovikov@ispras.ru
<ul></ul><p>Why is this necessary? For me it seems very good to see the total number of problems as it is shown now. For instance, let's assume that one "bad" module breaks verification of 5 modules since it is added to corresponding verification objects, and there is another "bad" module that breaks verification of the only module. It would be nice to see all 5 unknowns in the first case to understand better than a corresponding issue should be likely fixed first.</p> Klever - Feature #8171: Get rid of repeated unknowns during multimodule verificationhttps://forge.ispras.ru/issues/8171?journal_id=302772017-04-26T12:26:38ZIlja Zakharovilja.zakharov@ispras.ru
<ul><li><strong>Priority</strong> changed from <i>Low</i> to <i>High</i></li></ul><p>I agree that the total number of unknowns is of interest. But at analyzing results of multimodule verification and comparing them with existing ones there is a difficulty of distinguishing actual problems of mutlimodule verification from problems caused by an insertion of a bad module in different verification objects. Currently, I have no good proposal how to deal with it.</p> Klever - Feature #8171: Get rid of repeated unknowns during multimodule verificationhttps://forge.ispras.ru/issues/8171?journal_id=302792017-04-26T13:23:41ZEvgeny Novikovnovikov@ispras.ru
<ul></ul><p>Ilja Zakharov wrote:</p>
<blockquote>
<p>I agree that the total number of unknowns is of interest. But at analyzing results of multimodule verification and comparing them with existing ones there is a difficulty of distinguishing actual problems of mutlimodule verification from problems caused by an insertion of a bad module in different verification objects. Currently, I have no good proposal how to deal with it.</p>
</blockquote>
<p>In my opinion, insertion of a "bad" module is exactly a problem of multimodule verification. And the only thing to be done, I think, is to specify better somehow that some problems have the same reason.</p>
<p>Actually this isn't an intrinsic property of multimodule verification. Similar issues exist for all components, e.g. you tried to investigate reasons of timeouts, some bugs in Weaver can steam from issues in EMG, etc. "Simple" regular expressions can't always help. So, some additional things are required.</p>
<p>I suppose you will think more about this and suggest some nice improvement in unknown reports representation that will allow to identify failure reasons in a more advanced way in comparison with regular expressions. Don't forget about a timeouts classification and either relate the given issue with the corresponding one if it exists, or open a new one, or make this one more generic.</p> Klever - Feature #8171: Get rid of repeated unknowns during multimodule verificationhttps://forge.ispras.ru/issues/8171?journal_id=306692017-06-23T13:14:21ZIlja Zakharovilja.zakharov@ispras.ru
<ul><li><strong>Priority</strong> changed from <i>High</i> to <i>Urgent</i></li></ul><p>Time to solve it is closing.</p> Klever - Feature #8171: Get rid of repeated unknowns during multimodule verificationhttps://forge.ispras.ru/issues/8171?journal_id=311582017-08-17T13:22:16ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Tracker</strong> changed from <i>Bug</i> to <i>Feature</i></li></ul><p>This doesn't look like a bug.</p> Klever - Feature #8171: Get rid of repeated unknowns during multimodule verificationhttps://forge.ispras.ru/issues/8171?journal_id=313312017-08-31T07:23:43ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Target version</strong> set to <i>1.0</i></li></ul> Klever - Feature #8171: Get rid of repeated unknowns during multimodule verificationhttps://forge.ispras.ru/issues/8171?journal_id=320852017-11-13T10:20:20ZIlja Zakharovilja.zakharov@ispras.ru
<ul><li><strong>Target version</strong> changed from <i>1.0</i> to <i>2.0</i></li></ul> Klever - Feature #8171: Get rid of repeated unknowns during multimodule verificationhttps://forge.ispras.ru/issues/8171?journal_id=342802018-08-06T13:03:59ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Assignee</strong> changed from <i>Alexey Polushkin</i> to <i>Ilja Zakharov</i></li></ul> Klever - Feature #8171: Get rid of repeated unknowns during multimodule verificationhttps://forge.ispras.ru/issues/8171?journal_id=350092018-10-01T12:14:14ZIlja Zakharovilja.zakharov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li></ul><p>All subtasks are resolved.</p> Klever - Feature #8171: Get rid of repeated unknowns during multimodule verificationhttps://forge.ispras.ru/issues/8171?journal_id=352132018-10-25T18:19:58ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li></ul><p>Branch <em>klever-2.0</em> passed all tests and I merged it to master in <a class="changeset" title="Add more real examples for verification of Linux 3.14 drivers Besides, prepare preset marks for ..." href="https://forge.ispras.ru/projects/klever/repository/331/revisions/72be796e344820a6afb93bb1f2f9dc3d8f3deaa9">72be796e3</a> marked as <em>v2.0rc1</em>.</p>