JTorX 1.2.0 never hits a test purpose given as a .tp test purpose file
|Status:||Closed||Start date:||10 Nov 2009|
The new support for jararaca automatically adds labels to the end state of an LTS obtained from
file that as suffix .tp (which is assumed to contain a test purpose),
but it does add EPSILON in uppercase -- and the guidance support of JTorX looks for epsilon (lower case).
a work around consist of two steps:
- use file suffix .jrrc instead of a .tp suffix, and
- in the Guide combo box choose: "use trace below (add epsilon label to end states)".