Function uvls::smt::check_config

source ยท 
async fn check_config(
    root: &RootGraph,
    tx_err: &Sender<DiagnosticUpdate>,
    inlay_state: &InlayHandler,
    latest_revisions: HashMap<FileID, Instant>,
) -> HashMap<FileID, Instant>
Expand description

checks if config is SAT Solvable