is_smt_active

Function is_smt_active 

Source
fn is_smt_active() -> Option<bool>