Function uvls::smt::can_run_z3

source ยท 
pub fn can_run_z3() -> bool
Expand description

This function is a helper function which checks if a LSP can run z3.

This mainly focuses on self compiled LSPs