Skip to content

Conversation

@Fidget-Spinner
Copy link
Member

@Fidget-Spinner Fidget-Spinner commented Dec 21, 2025

So this is a minor thing but I'm quite sure is a bug: goto done doesn't append a terminator, goto full does. So it's possible that after invaildation when tracing, we end up with a non-terminated trace!

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant