This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 522 - Strange error message (number format exception)
Summary: Strange error message (number format exception)
Status: RESOLVED WORKSFORME
Alias: None
Product: UPPAAL TIGA
Classification: Unclassified
Component: Engine (show other bugs)
Version: unspecified
Hardware: PC Linux
: P2 trivial
Assignee: Marius Mikučionis
URL: http://www.cs.aau.dk/~ulrik/uppaal/nu...
Depends on:
Blocks:
 
Reported: 2011-08-15 11:41 CEST by Ulrik Nyman
Modified: 2019-10-31 16:49 CET (History)
1 user (show)

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Ulrik Nyman 2011-08-15 11:41:28 CEST 
When trying to syntax check the linked model the following error message is given:

"com.uppaal.engine.Exception: java.lang.NumberFormatException: For input string: "4294967088""

The real problem in the model is that en IO specification is given for a process that is not part of the "system" definition.
Comment 1 Marius Mikučionis 2019-10-31 16:49:19 CET 
Could not replicate the issue in Uppaal TIGA 4.1.19-0.17
Perhaps it has been fixed.
Feel free to reopen if it persists.