Bug #213

JTorX 1.2.0 never hits a test purpose given as a .tp test purpose file

Added by Axel Belinfante almost 11 years ago. Updated over 10 years ago.

Status:ClosedStart date:10 Nov 2009
Priority:NormalDue date:
Assignee:-% Done:


Target version:1.3.0


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:

  1. use file suffix .jrrc instead of a .tp suffix, and
  2. in the Guide combo box choose: "use trace below (add epsilon label to end states)".

Related issues

Related to JTorX - Bug #251: label comparison inconsistent: case-insensitive for Test,... Resolved 09 Dec 2009

Associated revisions

Revision e74587bb
Added by Axel Belinfante over 10 years ago

do matching of special labels epsilon and delta case insensitive (fixes #213)


#1 Updated by Axel Belinfante over 10 years ago

  • Status changed from New to Closed
  • Target version set to 1.3.0
  • % Done changed from 0 to 100

fixed in e74587bbf23aea10e393492554db30e1fd7b3486

Also available in: Atom PDF