I want to understand:
how cargo run -r --bin powdr_openvm -- ...
works and how you can trace back CLI parameters like --input
and --autoprecompiles
to the source code.
chatGPT said I need to check [bin] definition in Cargo.toml to get what binary will be, but there is no [bin] …