pub fn run_rustc_driver(
options: &CliOpts,
) -> Result<Option<TransformCtx>, CharonFailure>
Expand description
Run the rustc driver with our custom hooks. Returns None
if the crate was not compiled with
charon (e.g. because it was a dependency). Otherwise returns the translated crate, ready for
post-processing transformations.