Tracing instruction execution --trace-instr

[ved-rivos]

The --trace-instr option does not appear to emit any instruction execution trace. I also tried --trace-all; while it produces register and memory access traces, it still does not include instruction execution information. Is there an additional option or configuration required to enable instruction-level tracing?

[pmundkur]

This is an issue with using the Sail compiler (0.20.0) from Opam (see #1440). You will need to use a Sail compiler built from source until the next Sail compiler release (0.20.1) is approved by the Opam repo maintainers, hopefully soon.

[jordancarlin]

See #1440. Version 20.1 of the Sail compiler was released today, so downloading that should resolve this. https://github.com/rems-project/sail/releases/tag/0.20.1

[ved-rivos]

Thank you!