https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692016-08-08T15:42:22ZOpen-Source ProjectsKlever - Feature #7452: Allow to overwrite default options specified for verifiershttps://forge.ispras.ru/issues/7452?journal_id=278902016-08-08T15:42:22ZVitaly Mordanmordan@ispras.ru
<ul></ul><p>This feature is most important for MPV, since in current master the support of MPV was broken (again). Therefore, it will be done in specification_automata branch, so it could be tests.</p> Klever - Feature #7452: Allow to overwrite default options specified for verifiershttps://forge.ispras.ru/issues/7452?journal_id=278952016-08-08T15:57:42ZEvgeny Novikovnovikov@ispras.ru
<ul></ul><p>It should be done in a separate branch which should be merged to master.</p> Klever - Feature #7452: Allow to overwrite default options specified for verifiershttps://forge.ispras.ru/issues/7452?journal_id=278972016-08-08T16:08:08ZVitaly Mordanmordan@ispras.ru
<ul></ul><p>This feature (and related) will be done according with prepared instruction.</p> Klever - Feature #7452: Allow to overwrite default options specified for verifiershttps://forge.ispras.ru/issues/7452?journal_id=279002016-08-08T17:19:21ZVitaly Mordanmordan@ispras.ru
<ul></ul><p>This feature was started in branch new_format_of_strategies.</p> Klever - Feature #7452: Allow to overwrite default options specified for verifiershttps://forge.ispras.ru/issues/7452?journal_id=279142016-08-09T14:08:32ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Assignee</strong> deleted (<del><i>Vitaly Mordan</i></del>)</li><li><strong>Priority</strong> changed from <i>Urgent</i> to <i>High</i></li></ul><p>This feature should be implemented, first, after blocking <a class="issue tracker-4 status-5 priority-6 priority-high2 closed" title="Feature: Extract default verifier options from VTG strategies source code to configuration file (Closed)" href="https://forge.ispras.ru/issues/7451">#7451</a>, second, in a branch from master. Any way we can live without it right now. Soon I will implement a couple of workarounds specially for some seldom use cases to deal with it.</p> Klever - Feature #7452: Allow to overwrite default options specified for verifiershttps://forge.ispras.ru/issues/7452?journal_id=279652016-08-15T14:18:06ZVitaly Mordanmordan@ispras.ru
<ul></ul><p>This feature was implemented in branch new_format_of_strategies.<br />It is possible to use preset configurations (for example, 'bit precision analysis') or specify config by its name. If no configuration was specified, '-ldv' will be used for instrumentation.</p> Klever - Feature #7452: Allow to overwrite default options specified for verifiershttps://forge.ispras.ru/issues/7452?journal_id=301822017-04-24T08:52:35ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Assignee</strong> set to <i>Ilja Zakharov</i></li><li><strong>Priority</strong> changed from <i>High</i> to <i>Urgent</i></li></ul><p>Let's do it together with <a class="issue tracker-4 status-5 priority-6 priority-high2 closed" title="Feature: Generate abstract verification tasks in parallel (Closed)" href="https://forge.ispras.ru/issues/6608">#6608</a>.</p> Klever - Feature #7452: Allow to overwrite default options specified for verifiershttps://forge.ispras.ru/issues/7452?journal_id=312962017-08-30T10:15:40ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Target version</strong> set to <i>2.0</i></li></ul> Klever - Feature #7452: Allow to overwrite default options specified for verifiershttps://forge.ispras.ru/issues/7452?journal_id=314212017-09-08T13:07:58ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Target version</strong> changed from <i>2.0</i> to <i>0.2</i></li></ul><p>This considerable Core refactoring is always completed and it would be better to have it in master ASAP while Klever 1.0 will be devoted to great conceptual improvements.</p> Klever - Feature #7452: Allow to overwrite default options specified for verifiershttps://forge.ispras.ru/issues/7452?journal_id=315312017-09-13T14:58:01ZIlja Zakharovilja.zakharov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li></ul><p>Implemented in the core-refactoring branch as a part of VTG and AVTG major refactoring.</p> Klever - Feature #7452: Allow to overwrite default options specified for verifiershttps://forge.ispras.ru/issues/7452?journal_id=316632017-09-22T14:04:54ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li></ul><p>I merged the branch to master in <a class="changeset" title="Use unique "labels" for data reports with validation/testing results" href="https://forge.ispras.ru/projects/klever/repository/331/revisions/aec48ac15496463eb752641845222d87808b738c">aec48ac1</a>.</p>