https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692017-08-25T07:42:41ZOpen-Source ProjectsRetrascope - Bug #8285: 0% coverage of EFSM transitions for b01 examplehttps://forge.ispras.ru/issues/8285?journal_id=312292017-08-25T07:42:41ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Open</i></li></ul> Retrascope - Bug #8285: 0% coverage of EFSM transitions for b01 examplehttps://forge.ispras.ru/issues/8285?journal_id=313632017-09-01T15:30:52ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Open</i> to <i>Resolved</i></li><li><strong>% Done</strong> changed from <i>0</i> to <i>100</i></li></ul><p>EFSM simulator has been fixed in <a class="changeset" title="adapt simulator to non "1-cycle per trans" EFSMs Signed-off-by: Sergey Smolov <smolov@ispras.ru>" href="https://forge.ispras.ru/projects/retrascope/repository/retrascope/revisions/b0dc4bc6624c3874fa28fbfc3c2d6fd435a46891">b0dc4bc6</a></p>
<p>98% coverage is reached at b01.</p> Retrascope - Bug #8285: 0% coverage of EFSM transitions for b01 examplehttps://forge.ispras.ru/issues/8285?journal_id=313742017-09-05T15:13:38ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Verified</i></li></ul> Retrascope - Bug #8285: 0% coverage of EFSM transitions for b01 examplehttps://forge.ispras.ru/issues/8285?journal_id=314582017-09-12T12:23:05ZSergey 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.0.1-beta-170912</i></li></ul>