ddsmtparsertest.py 文件源码

def _runtest (infile):
    global g_tmpfile
    assert (g_tmpfile)
    parser = DDSMTParser()
    smtformula = parser.parse(infile)

    _log (1, "parser: done")
    _log (2, "parser: maxrss: {} MiB".format(
        resource.getrusage(resource.RUSAGE_SELF).ru_maxrss/1000))

    _dump (smtformula, g_tmpfile)
    _log (1, "dumper: done")
    _log (1)

    if not _cmp (infile, g_tmpfile):
        bugfile = "bug-ddsmtparsertest-" + os.path.basename(infile)
        shutil.copyfile(g_tmpfile, bugfile)
        nbugs += 1
        _log (1, "bug: " + bugfile)