Allow enabling debug mode via `ExecutionOptions`

0xPolygonMiden / miden-vm

STARK-based virtual machine

MIT License

621 stars 158 forks source link

Allow enabling debug mode via `ExecutionOptions` #1316

Closed bobbinth closed 5 months ago

bobbinth commented 5 months ago

This PR allows enabling of debug mode via ExecutionOptions. This, in turn, allows us to execute programs in debug mode via processor::execute() function - something that is needed to enable more streamlined debugging for users.

This PR is made against the main branch because this is a non-breaking change that we would like to release sooner rather than later as we want to propagate it to the transaction executor in miden-base.

bobbinth commented 5 months ago

Is with_debugging() actually way slower? If so, should we mention it?

It would be slower, but not sure by how much. It would also consume more memory, but again, not sure if that would be too noticeable.