pub fn run_rustc_driver() -> Result<Option<(TransformCtx, CliOpts)>, 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.