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:


Target version:1.9.0


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:


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


#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

Also available in: Atom PDF