TAPAAL

  1. Bug #799177
  2. Comment #2

Comment 2 for bug 799177

Revision history for this message
Jiri Srba (srba) wrote :

The error was fixed (missing handling of <=0 invariants in computing the maximal constant).