Skip to content
This repository has been archived by the owner on Jan 5, 2021. It is now read-only.

set the value at startup and cannot be changed later #287

Closed
DominikTesch opened this issue Jan 8, 2016 · 5 comments
Closed

set the value at startup and cannot be changed later #287

DominikTesch opened this issue Jan 8, 2016 · 5 comments

Comments

@DominikTesch
Copy link
Contributor

reported via forum

I encountered the same issue. (I'm using the latest Yakindu bundle for Windows, 64-bit).

Please see the attached example. The simulator allows to set the value of event E_1 only once, at startup. Then, the event value is not reset and cannot be changed. The edge with guard [valueof(E_1)==42] can only be traversed at startup (if the correct value of the event is set), and never again.

Am I doing something wrong, or is it an issue of the tool?

default
default

@andreasmuelder
Copy link
Member

This is a duplicate of #329

@DominikTesch
Copy link
Contributor Author

The view does not update itself.

@DominikTesch DominikTesch reopened this Feb 9, 2016
@arianaa30
Copy link

Is there an estimation of when it will be fixed?

@andreasmuelder
Copy link
Member

the bug is already fixed, there is only a minor update problem is the view. This will be rolled out in SCT 2.6.0.

@terfloth terfloth modified the milestones: M23 - Generators & Domains, M24 Feb 22, 2016
@andreasmuelder
Copy link
Member

Fixed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

No branches or pull requests

4 participants