Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Ensure that all automata propagate transient failures #9

Open
ennoruijters opened this issue Jul 18, 2019 · 0 comments
Open

Ensure that all automata propagate transient failures #9

ennoruijters opened this issue Jul 18, 2019 · 0 comments
Labels
enhancement
Milestone
Add transient fai...

Comments

@ennoruijters
Copy link
Contributor

Automata for gates currently behave nondeterministically when a FAIL signal of a child is immediately followed by an ONLINE signal. The gate should always emit its own FAIL signal if the child failure should cause a failure, possibly followed as well by its own ONLINE.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
Add transient failures
Development

No branches or pull requests
1 participant
@ennoruijters