Open
Description
Relevant PR: #2258. Unfortunately, we can't accept the PR as is, because it just changes which simulators get stuck / exit prematurely.
Relevant PR: #2258. Unfortunately, we can't accept the PR as is, because it just changes which simulators get stuck / exit prematurely.