https://forge.ispras.ru/
https://forge.ispras.ru/favicon.ico?1649012669
2017-06-15T14:08:21Z
Open-Source Projects
Retrascope - Bug #7753: example.vhd: cannot generate SMV-based test
https://forge.ispras.ru/issues/7753?journal_id=30557
2017-06-15T14:08:21Z
Sergey Smolov
smolov@ispras.ru
<ul><li><strong>Subject</strong> changed from <i>example.vhd: EFSM extraction failure</i> to <i>example.vhd: cannot generate SMV-based test</i></li><li><strong>Detected in build</strong> changed from <i>flatten.modules</i> to <i>master</i></li></ul><p>The erroneous SMV file fragment:<br /><pre>
next(W) :=
case
esac;
next(Z_SUBSTITUTED) :=
case
esac;
next(CLK) :=
case
esac;
next(RESET) :=
case
esac;
</pre></p>
Retrascope - Bug #7753: example.vhd: cannot generate SMV-based test
https://forge.ispras.ru/issues/7753?journal_id=30558
2017-06-15T18:41:45Z
Sergey Smolov
smolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Open</i></li></ul>
Retrascope - Bug #7753: example.vhd: cannot generate SMV-based test
https://forge.ispras.ru/issues/7753?journal_id=30560
2017-06-16T08:12:35Z
Sergey Smolov
smolov@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>Completely fixed at <a class="changeset" title="[cfg][cgaa] rm phase copies of variables Signed-off-by: Sergey Smolov <smolov@ispras.ru>" href="https://forge.ispras.ru/projects/retrascope/repository/retrascope/revisions/cba6259b7ba917e6fc7a4e2f9d7e6f40d1f02de9">cba6259b</a></p>
Retrascope - Bug #7753: example.vhd: cannot generate SMV-based test
https://forge.ispras.ru/issues/7753?journal_id=31369
2017-09-03T07:57:56Z
Sergey Smolov
smolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Verified</i></li></ul>
Retrascope - Bug #7753: example.vhd: cannot generate SMV-based test
https://forge.ispras.ru/issues/7753?journal_id=31472
2017-09-12T12:26:57Z
Sergey Smolov
smolov@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>