https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692016-05-09T16:41:02ZOpen-Source ProjectsRetrascope - Bug #7145: cfg-rnd-testgen: take variable invariants into accounthttps://forge.ispras.ru/issues/7145?journal_id=266532016-05-09T16:41:02ZSergey 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="[cfg-rnd-testgen] take invariants into account Signed-off-by: Sergey Smolov <smolov@ispras.ru>" href="https://forge.ispras.ru/projects/retrascope/repository/retrascope/revisions/38da3391acd7300d56b0be53319c52e4f3be64c8">38da3391</a></p> Retrascope - Bug #7145: cfg-rnd-testgen: take variable invariants into accounthttps://forge.ispras.ru/issues/7145?journal_id=266572016-05-10T08:38:47ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Verified</i></li></ul> Retrascope - Bug #7145: cfg-rnd-testgen: take variable invariants into accounthttps://forge.ispras.ru/issues/7145?journal_id=284472016-10-25T09:05:03ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Verified</i> to <i>Closed</i></li><li><strong>Detected in build</strong> changed from <i>svn</i> to <i>master</i></li><li><strong>Published in build</strong> set to <i>20161025</i></li></ul>