From: SourceForge.net <no...@so...> - 2012-01-09 12:59:59
|
Bugs item #3471318, was opened at 2012-01-09 04:59 Message generated for change (Tracker Item Submitted) made by xrehak 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 ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3471318&group_id=219467 |