Function monster::generate_smt

pub fn generate_smt<Strategy, W, P>(
    input: P, 
    write: W, 
    options: &SmtGenerationOptions, 
    strategy: &Strategy
) -> Result<Option<SymbolicExecutionBug>, MonsterError> where
    W: Write + Send + 'static,
    Strategy: ExplorationStrategy,
    P: AsRef<Path>,