Integer range for UPPAAL
Since UPPAAL supports integers only in the range ‐32767 and 32767, TTool should check for numerical values, and issue a warning or refuse to perform verifications for models having numerical values outside of this range.
Since UPPAAL supports integers only in the range ‐32767 and 32767, TTool should check for numerical values, and issue a warning or refuse to perform verifications for models having numerical values outside of this range.