Bug #551

use of || in conditions of an STS may lead to incorrect test steps in menu

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

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

100%

Category:-
Target version:1.9.0

Description

When we use attached login.sax for testing, where we have an action

?login<usr,pass>[(usr=="admin" && pass=="pippo") || (usr != "" && pass!="")

we get in the first menu:

?login("admin","pippo"||usr!="")

Clearly, the code that tries to recognize solutions and substitutes them is broken.
Easiest (syntactical) solution: look for presence of || in solution, and if there, don't substitute.

login.sax (2.9 KB) Axel Belinfante, 07 Sep 2011 10:11

History

#1 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

fixed in the svn repository of SymToSim.jar and STSimulator_-_JTorX.jar
00e9f2eae3bc91cadc15c7433c398988890c37c3
7371b5bb0e373e481cf1fedf374fdbeb2eb009cb

Also available in: Atom PDF