Comment 2 for bug 2037066

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

The problem seems to be that after the change of int range is not propagated to the arc expressions and to tranisition guard expressions - they still report the old integer range.