TAPAAL

  1. Bug #1958654
  2. Comment #0

Comment 0 for bug 1958654

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

To reproducer:

open cpn-packet and verify.

Second call uses not large k-bound
Running: verifypn-win64.exe --k-bound 3 ...
Running: verifydtapn-win64.exe --k-bound 21 ...