Bug #548

JTorX crashes when invoked with incompletely specified guide

Added by Axel Belinfante almost 9 years ago.

Status:NewStart date:05 Sep 2011
Priority:NormalDue date:
Assignee:-% Done:

0%

Category:-
Target version:-

Description

crash when we start JTorX with given
  • model file
  • impl file
  • impl kind
  • trace kind
  • interpretation
    and
  • guide toggle checked
    but
  • NO other guide details filled in (in particular: no guide kind selected)

Also available in: Atom PDF