fn process_contract_name(original_name: &str, extension: &str) -> (String, String) {
    if let Some((file_name, contract_name)) = original_name.rsplit_once(':') {
        (file_name.to_owned(), contract_name.to_owned())
    } else {
        (
            format!("{original_name}.{extension}"),
            original_name.to_owned(),
        )
    }
}
Users may provide either just contract name or source file name and contract name joined with ":".
core/lib/contract_verifier/src/compilers/mod.rs