in smt2proxy/src/main.rs [60:73]
fn iter_args() -> impl Iterator<Item = std::ffi::OsString> {
std::env::args().map(|arg| {
if arg.starts_with('-') && arg.len() > 2 {
match arg.find(':') {
None => "-".to_string() + &arg,
Some(n) if n > 2 => "-".to_string() + &arg.replace(':', "="),
_ => arg.replace(':', "="),
}
.into()
} else {
arg.into()
}
})
}