Function run_rustc_driver

Source
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.