Function rate_common::parser::parse_files

pub fn parse_files(
    formula_file: &str, 
    proof_file: &str, 
    memory_usage_breakdown: bool
) -> Parser

Parse a formula and a proof file.