TAPAAL

  1. Bug #778310
  2. Comment #4

Comment 4 for bug 778310

Revision history for this message
Morten Jacobsen (mortenja) wrote :

My observations:

Problem 1: This seems to be related to UPPAAL. Running verification using verifytapn, generates a correct, executable trace. Lasse described where the problem lies in the trace UPPAAL returns..

Problem 2: is not reproducable.