Python Isabelle.isabelle_build示例

示例#1

文件： mira.py 项目： eggodeath/AFP

def AFP(*args):
    """Main AFP test, excluding very large sessions"""

    afp_thys = path.join(args[2][1], "thys")
    return isabelle.isabelle_build(
        *(args + ("-j", afp_jobs, "-d", afp_thys, "-g", "AFP")), more_settings=afp_settings, keep_results=False
    )

示例#2

def AFP(*args):
    """Main AFP test, excluding very large sessions"""

    afp_thys = path.join(args[2][1], 'thys')
    return isabelle.isabelle_build(
        *(args + ("-j", afp_jobs, "-d", afp_thys, "-g", "AFP")),
        more_settings=afp_settings,
        keep_results=False)