TAPAAL

  1. Bug #1855675
  2. Comment #1

Comment 1 for bug 1855675

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

We currently track UPPAAL based on rev.nr.
public static final int verifytaMinRev = 5648;

instead of version number X.Y.Z

I think sometimes they also use X.Y.Z-U