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

detect signal based deadlock #15561

Open

namdre opened this issue Oct 9, 2024 · 0 comments

Assignees

Labels

a:sumo c:railway enhancement

Contributor

namdre commented Oct 9, 2024

somewhat related to #14543 but not limited to constraint-based deadlocks.

deadlocks should be detected and reported
simulation could be terminated or resolved via teleporting

namdre added enhancement a:sumo c:railway labels

namdre self-assigned this

namdre added a commit that referenced this issue


          implemented deadlock detection and reporting. refs #15561

100cba2

namdre added a commit that referenced this issue


          patching expected results refs #21, #15561

64e0cba

namdre mentioned this issue

permit loading extra deadlock checks from file #15569

Open

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment