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

Bug 644 - Error (For input string: "13830554455654793216")
Summary: Error (For input string: "13830554455654793216")
Status: ASSIGNED
Alias: None
Product: UPPAAL Stratego
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.1.20-pre4
Hardware: PC Windows 10
: P5 critical
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2017-09-14 11:30 CEST by Jacob Nielsen
Modified: 2017-09-14 13:01 CEST (History)
0 users

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 Jacob Nielsen 2017-09-14 11:30:29 CEST 
"
java -version
java version "1.8.0_144"
Java(TM) SE Runtime Environment (build 1.8.0_144-b01)
Java HotSpot(TM) 64-Bit Server VM (build 25.144-b01, mixed mode)
"

How to produce the error:
1. Open Stratego.
2. Load traffic demo.
3. navigate to Verifier
4. Check Pr[<=60](<> Kim.Sydney) //Or any of the other Pr queries.
Comment 1 Marius Mikučionis 2017-09-14 13:01:40 CEST 
This seems to be Windows specific as I could not reproduce on Linux.
Thanks for the report.