https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692018-10-05T13:53:35ZOpen-Source ProjectsRetrascope - Task #9310: substitute SMT-LIB variables those names are equal to builtin commandshttps://forge.ispras.ru/issues/9310?journal_id=350582018-10-05T13:53:35ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Related to</strong> <i><a class="issue tracker-1 status-5 priority-4 priority-default closed" href="/issues/9309">Bug #9309</a>: ru.ispras.retrascope.engine.smv.testbench.sample.vcegar.VcegarPiBusAssertSmvTestbenchTestCase:line 2 column 34: invalid declaration, builtin symbol select</i> added</li></ul> Retrascope - Task #9310: substitute SMT-LIB variables those names are equal to builtin commandshttps://forge.ispras.ru/issues/9310?journal_id=350602018-10-08T09:25:36ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li><li><strong>% Done</strong> changed from <i>0</i> to <i>100</i></li></ul><p>Done in <a class="changeset" title="util: SatSolver: substitute builtin-named vars When solving by SMT solver, the node's variables ..." href="https://forge.ispras.ru/projects/retrascope/repository/retrascope/revisions/f4f5dda9462efc87d0ee0b516306e8ff5c679451">f4f5dda9</a></p> Retrascope - Task #9310: substitute SMT-LIB variables those names are equal to builtin commandshttps://forge.ispras.ru/issues/9310?journal_id=350812018-10-08T14:45:38ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Verified</i></li></ul> Retrascope - Task #9310: substitute SMT-LIB variables those names are equal to builtin commandshttps://forge.ispras.ru/issues/9310?journal_id=366032019-07-22T12:36:56ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Verified</i> to <i>Closed</i></li><li><strong>Published in build</strong> set to <i>1.1.1-beta-190722</i></li></ul>