TAPAAL

  1. Bug #2023774
  2. Comment #5

Comment 5 for bug 2023774

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

Also, the simulator show traces (after query verification) which do not appear in the formula. Maybe this is a smaller problem, but if possible, these traces do not have to be shown at all.