get_bdd_manager_cfg

taco_cli::cli

Function get_bdd_manager_cfg 

Source 
pub(crate) fn get_bdd_manager_cfg(bdd: BDDManagerOption) -> BDDManagerConfig
Expand description

Get BDD manager configuration based on selected BDD manager