Reloading traces can fail #3

Open

opened

on Jan 16, 2023

With one set of traces loaded into the proof debugger windows, clicking "load traces" can sometimes result in no traces being listed in the proof debugger window. Restarting code and reloading the traces makes the problem go away.

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

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests