TAPAAL

  1. Bug #2023774
  2. Comment #2

Comment 2 for bug 2023774

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

Also, it is possible to remove a trace that is used in the query (hyper-LTL). This should not be possible.