TAPAAL

  1. Bug #1960299
  2. Comment #5

Comment 5 for bug 1960299

Revision history for this message
Jiri Srba (srba) wrote :

There is still a problem, the GUI asks whether the import the queries at LTL or CTL but it should not ask this, it should be overtaken from the queries before unfolding.