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

Bug 522

Summary:	Strange error message (number format exception)
Product:	UPPAAL TIGA	Reporter:	Ulrik Nyman <ulrik>
Component:	Engine	Assignee:	Marius Mikučionis <marius>
Status:	RESOLVED WORKSFORME
Severity:	trivial	CC:	marius
Priority:	P2
Version:	unspecified
Hardware:	PC
OS:	Linux
URL:	http://www.cs.aau.dk/~ulrik/uppaal/numberFormatException.xml
Architecture:

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.