Function monster::generate_smt_to_file

pub fn generate_smt_to_file<Strategy, P>(
    input: P, 
    output: P, 
    options: &SmtGenerationOptions, 
    strategy: &Strategy
) -> Result<Option<SymbolicExecutionBug>, MonsterError> where
    Strategy: ExplorationStrategy,
    P: AsRef<Path> + Send,