pub(crate) fn run_charon(options: CliOpts) -> Result<usize, CharonFailure>Expand description
Run charon. Returns the number of warnings generated.
pub(crate) fn run_charon(options: CliOpts) -> Result<usize, CharonFailure>Run charon. Returns the number of warnings generated.