TAPAAL

  1. Bug #342766
  2. Comment #2

Comment 2 for bug 342766

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

This is a problem with the usage of * in the names. * is not allowed as an identifier in uppaal