[Scstudio-devel] [ scstudio-Bugs-3471318 ] FIFO checker crashes on actions

[SourceForge.net <no...@so...>]

Bugs item #3471318, was opened at 2012-01-09 04:59
Message generated for change (Comment added) made by obouda
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3471318&group_id=219467

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Verification algorithms
Group: None
Status: Open
Resolution: None
Priority: 9
Private: No
Submitted By: Vojtech Rehak (xrehak)
Assigned to: Ondřej Bouda (obouda)
Summary: FIFO checker crashes on actions

Initial Comment:
When there is an internal action in the verified diagram, the FIFO checker crashes.
E.g. trunk/doc/help/examples/E-shop/e-shop.vsd

----------------------------------------------------------------------

Comment By: Ondřej Bouda (obouda)
Date: 2012-01-10 18:55

Message:
The FIFO checker runs OK, the only problem is in the Race Free and Time
Race checkers.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3471318&group_id=219467