Function is_smt_active

Source
fn is_smt_active() -> Option<bool>