TAPAAL

  1. Bug #1958654
  2. Comment #1

Comment 1 for bug 1958654

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

The --k-bound arugment for dtapn was calculated with string append instead of addition for the number of tokens in net and number of extra tokens. Making 2+1 21 insted of 3