Skip to content

Fix traceAll bug#573

Merged
anishnaik merged 3 commits intomasterfrom
fix/trace-all
Feb 10, 2025
Merged

Fix traceAll bug#573
anishnaik merged 3 commits intomasterfrom
fix/trace-all

Conversation

@anishnaik
Copy link
Copy Markdown
Collaborator

@anishnaik anishnaik commented Feb 9, 2025

We kept re-creating the trace Map on the execution of each call sequence element. Thus, we weren't storing the traces of all the elements in a call sequence and so traceAll wasn't working.

We also now use the labels created by vm.label to make the call sequence string look nicer.

@anishnaik anishnaik merged commit 64271fa into master Feb 10, 2025
@anishnaik anishnaik deleted the fix/trace-all branch February 10, 2025 23:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant