TAPAAL

  1. Bug #1968474
  2. Comment #2

Comment 2 for bug 1968474

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

If you have a model with several queries (some CTL and some LTL) and press M, no queries are unfolded.