Bug #549

visualization of STS does not highlight multiple switches between two locations

Added by Axel Belinfante almost 9 years ago. Updated almost 9 years ago.

Status:FeedbackStart date:07 Sep 2011
Priority:NormalDue date:
Assignee:-% Done:


Target version:1.9.0


In the special case where we have multiple switches between the same two locations, and a single instantiated label may enable both switches, then only one of them is highlighted when the instantiated label is used during testing.

attached file shows an example: for this file it happens when we use, from the initial state, label: ?login("admin","pippo")

login01.sax (3.19 KB) Axel Belinfante, 07 Sep 2011 09:51


#2 Updated by Axel Belinfante almost 9 years ago

  • Status changed from New to Feedback
  • Target version set to 1.9.0
  • % Done changed from 0 to 100

Also available in: Atom PDF