Giacomo Vercesi 74eba2954f revng trace run: log commands before execution ...

Log the commands that are going to be executed by `revng trace run` on
the `trace-runner` logger.

2025-03-13 16:23:21 +01:00

..

Common.h

Pipeline options: restrict to int and strings

2023-11-03 12:13:57 +01:00

LengthHint.h

PipelineC: add tracing

2023-04-20 14:43:13 +02:00

Private.h

PipelineC: add tracing

2023-04-20 14:43:13 +02:00

Trace.h

revng trace run: log commands before execution

2025-03-13 16:23:21 +01:00