[Scstudio-devel] [ scstudio-Bugs-3198221 ] Time consistency algorithm is not working

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

Bugs item #3198221, was opened at 2011-03-02 23:56
Message generated for change (Comment added) made by obouda
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3198221&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: None
Priority: 5
Private: No
Submitted By: Lubos Korenciak (lkorenciak)
Assigned to: Kocian (kocianon)
Summary: Time consistency algorithm is not working

Initial Comment:
Time consistency finds inconsistency in consistent BMSC (see attached file).

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

>Comment By: Ondřej Bouda (obouda)
Date: 2011-11-26 03:17

Message:
Seems OK in the current version.

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

Comment By: Lubos Korenciak (lkorenciak)
Date: 2011-05-19 02:41

Message:
This bug is caused by empty BMSCs referenced by MSG nodes with time
constraints. According to definition the time constraint attached to MSG
reference node without events should be ignored. SCStudio currently does
not ignore them and finds inconsistency caused by these constraints.
Note, that this bug can be easily solved by preprocessing. It is possible
to erase these constraints before running the time algorithms and
everything should work correctly.

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

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