TAPAAL

  1. Bug #809860
  2. Comment #3

Comment 3 for bug 809860

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

Marking the bug as fixed in TAPAAL since this is really related to VerifyTAPN and not TAPAAL.