https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692015-02-04T08:29:13ZOpen-Source ProjectsRetrascope - Bug #5598: [efsm] [reset] При извлечении EFSM из b03 не находится начальное состояние https://forge.ispras.ru/issues/5598?journal_id=218852015-02-04T08:29:13ZIgor Melnichenkosuomi-47@ya.ru
<ul></ul><p>В b07 такая же ситуация.</p> Retrascope - Bug #5598: [efsm] [reset] При извлечении EFSM из b03 не находится начальное состояние https://forge.ispras.ru/issues/5598?journal_id=218962015-02-06T08:53:48ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Open</i></li></ul> Retrascope - Bug #5598: [efsm] [reset] При извлечении EFSM из b03 не находится начальное состояние https://forge.ispras.ru/issues/5598?journal_id=218972015-02-06T09:18:28ZSergey 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><li><strong>Published in build</strong> set to <i>r1525</i></li></ul><p>В переходы EFSM-модели излишне "нагадил" преобразователь неблокирующих присваиваний. Исправлено.</p> Retrascope - Bug #5598: [efsm] [reset] При извлечении EFSM из b03 не находится начальное состояние https://forge.ispras.ru/issues/5598?journal_id=221402015-03-06T15:30:01ZIgor Melnichenkosuomi-47@ya.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Verified</i></li></ul> Retrascope - Bug #5598: [efsm] [reset] При извлечении EFSM из b03 не находится начальное состояние https://forge.ispras.ru/issues/5598?journal_id=221532015-03-07T19:55:46ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Verified</i> to <i>Closed</i></li><li><strong>Published in build</strong> changed from <i>r1525</i> to <i>20150307</i></li></ul>