TAPAAL

  1. Bug #354781
  2. Comment #2

Comment 2 for bug 354781

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

I just had a quick look on this problem, and it seems like that by some reason verifyta returns an abstract trace instead of an concrete. This issue will need further investigation.