fn get_preprocessors<S, C>(
cfg: &TACOConfig,
) -> Vec<Box<dyn Preprocessor<GeneralThresholdAutomaton, S, C>>>where
S: TargetSpec,
C: ModelCheckerContext + ProvidesSMTSolverBuilder,Expand description
Constructs the preprocessors, either from the configuration file or just uses the default preprocessors specified in DEFAULT_PREPROCESSORS