Function uvls::smt::find_fixed

source ยท 
async fn find_fixed(
    solve: &mut SmtSolver,
    base_module: &Module,
    module: &SMTModule,
    initial_model: impl Iterator<Item = (ModuleSymbol, ConfigValue)>,
    cancel: CancellationToken,
) -> Result<HashMap<ModuleSymbol, SMTValueState>, Box<dyn Error + Send + Sync>>
Expand description

find constant boolean values for dead features and other cool analysis