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.