TAPAAL

  1. Bug #354781
  2. Comment #3

Comment 3 for bug 354781

Revision history for this message
Kenneth Yrke Jørgensen (yrke) wrote :

It seems that the problem with concrete trace in verifyta is dependent on the E[] property.