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

Bug 643 - Error (Bug: Ok expected)
Summary: Error (Bug: Ok expected)
Status: ASSIGNED
Alias: None
Product: UPPAAL Stratego
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.1.20-4
Hardware: PC All
: P5 minor
Assignee: Marius Mikučionis
URL:
: 670 (view as bug list)
Depends on:
Blocks:
 
Reported: 2017-09-14 11:11 CEST by Jacob Nielsen
Modified: 2019-10-16 11:02 CEST (History)
2 users (show)

See Also:
Architecture:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Jacob Nielsen 2017-09-14 11:11:27 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 ConcreateSimulator
Comment 1 Marius Mikučionis 2017-09-14 13:00:34 CEST
I just tried it on Linux, indeed an issue.
Comment 2 Castro B 2018-08-30 09:25:32 CEST
(In reply to Jacob Nielsen from comment #0)
> "
> 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 ConcreateSimulator

Hello Jacob, do we have any updates for this issue? or any other sources which we can able to help this bug. I tried to other bugs sites but I can find similar to this issue. What do you think? Thanks

Castro B.
https://alternatives.co/
Comment 3 Frederik Baymler Mathiesen 2019-10-16 11:02:14 CEST
*** Bug 670 has been marked as a duplicate of this bug. ***