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

Bug 644

Summary: Error (For input string: "13830554455654793216")
Product: UPPAAL Stratego Reporter: Jacob Nielsen <janiel13>
Component: EngineAssignee: Marius Mikučionis <marius>
Status: ASSIGNED ---    
Severity: critical    
Priority: P5    
Version: 4.1.20-pre4   
Hardware: PC   
OS: Windows 10   
Architecture:

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.