33db6196686e2966e2f74bcabc89800a6cb701b6,scripts/prove.py,,main,#Any#,31

Before Change

    doc = etree.parse(args.sem, parser)

    inference_result, coq_scripts = prove_doc(doc, abduction)
    print(inference_result, file=sys.stdout)

    if args.graph_out:
        html_str = convert_doc_to_mathml(doc, coq_scripts, args.gold_trees)
        with codecs.open(args.graph_out, "w", "utf-8") as fout:

After Change

    //     with codecs.open(args.graph_out, "w", "utf-8") as fout:
    //         fout.write(html_str)

    DOCS = root.findall(".//document")
    // from pudb import set_trace; set_trace()
    document_inds = range(len(DOCS))
    proof_nodes = prove_docs(document_inds, args.ncores)
    assert len(proof_nodes) == len(DOCS), \

Instances