[Scstudio-devel] [ scstudio-Bugs-3537938 ] Not found all race condition problems

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

Bugs item #3537938, was opened at 2012-06-25 13:07
Message generated for change (Comment added) made by vacek
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3537938&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: Closed
>Resolution: Rejected
Priority: 5
Private: No
Submitted By: Matus  Madzin (madzin)
Assigned to: Vaclav Vacek (vacek)
Summary: Not found all race condition problems

Initial Comment:
The Race algorithm does not found all race problems (races) in the attached MSC. The algorithm finds one race problem but there are two race problems, message from the client can also be delivered before register message from the proxy. 

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

>Comment By: Vaclav Vacek (vacek)
Date: 2012-06-26 01:14

Message:
The Race algorithm does not find all race problems by design - only events
that are in a footprint are considered, which is not the case in the
attached file.

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

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