https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692016-04-25T15:58:40ZOpen-Source ProjectsKlever - Bug #7109: Problems in error trace visualizerhttps://forge.ispras.ru/issues/7109?journal_id=264472016-04-25T15:58:40ZEvgeny Novikovnovikov@ispras.ru
<ul></ul><ol>
<li>The rest half of screen is intended for associated marks. But there is not any associated mark yet and you were not an expert for corresponding job to have a button to create them. Something (like my previous sentence) should be shown in such cases.</li>
<li>Normally users shouldn't click on notes (blue text) and warnings (red text). They should click on corresponding rectangles like for the rest of error trace lines. But this is impossible due to <a class="issue tracker-1 status-5 priority-5 priority-high3 closed behind-schedule" title="Bug: Missed (broken) references from notes and warnings in error traces (Closed)" href="https://forge.ispras.ru/issues/7103">#7103</a>. Clicking on notes and warnings should be use to get more details about implementation of model functions that is hidden by default. As for your question warnings (red text) show assertions violated. They are automatically propagated from the __<em>VERIFIER_error()</em> to nearest model function calls and they correspond to notes that precede __<em>VERIFIER_error()</em>. I don't see much sense in the requested improvement since those people who do need such the details should understand what are they while other users will no experience such the problems at all.</li>
<li>Ditto it is a detail that is normally hidden by default from the most of users.</li>
</ol>
<p>BTW, implementation of <em>ldv_assert()</em> will be considerably changed when we will switch to so called multi-aspect verification. So it is better to postpone this issue anyway.</p> Klever - Bug #7109: Problems in error trace visualizerhttps://forge.ispras.ru/issues/7109?journal_id=264912016-04-26T10:49:33ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Category</strong> set to <i>Bridge</i></li><li><strong>Assignee</strong> set to <i>Vladimir Gratinskiy</i></li></ul> Klever - Bug #7109: Problems in error trace visualizerhttps://forge.ispras.ru/issues/7109?journal_id=382312020-02-28T11:34:37ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Rejected</i></li><li><strong>Assignee</strong> deleted (<del><i>Vladimir Gratinskiy</i></del>)</li></ul><p>Partially the issue is not relevant anymore and partially it will be fixed after refactoring of requirement specifications.</p>