This paper describes an interesting approach to fixing that failure: https://users.ece.utexas.edu/~gligoric/papers/NieETAL19TrigIt.pdf https://users.ece.utexas

This paper describes an interesting approach to fixing that failure: https://users.ece.utexas.edu/~gligoric/papers/NieETAL19TrigIt.pdf https://users.ece.utexas.edu/~gligoric/papers/NieETAL19TrigI... Occasionally I have had luck by embedding assertions in C code that fail when the trigger conditions are met… but mostly that’s not practical. I’ve never had any luck with the dependent ticket approach, those tickets always end up lost forever.