コード例 #1
0
ファイル: bigtest.py プロジェクト: veanes/z3test
def bigtest():
    print("BUILD DATE: %s" % datetime.date.today())
    sys.stdout.flush()
    # Build everything:
    #   - using clang and g++
    #   - release and debug modes
    os.environ['CXXFLAGS'] = os.getenv('CXXFLAGS', '') + ' -DNO_Z3_DEBUGGER'
    for b in ['master']:
        for d in [True, False]:
            for c in [True, False]:
                util.buildz3(branch=b, everything=True, clean=True, debug=d, dotnet=True, java=True, static=True, jobs=config.NUMJOBS, clang=c)
                util.testz3py(branch=b, debug=d, clang=c)
                util.testjavaex(branch=b, debug=d, clang=c)
                util.testz3ex('cpp_example', branch=b, debug=d, clang=c)
                util.testz3ex('c_example', branch=b, debug=d, clang=c)
                util.test_benchmarks_using_latest('regressions/smt2', branch=b, debug=d, clang=c)
                if d:
                    util.test_benchmarks_using_latest('regressions/smt2-debug', branch=b, debug=d, clang=c)
                    util.test_benchmarks_using_latest('regressions/smt2-extra', branch=b, debug=d, clang=c)
                    util.test_pyscripts_using_latest('regressions/python', branch=b, debug=d, clang=c)
            if util.is_windows():
                util.test_cs_using_latest('regressions/cs', branch=b, debug=d, clang=False)
    util.buildz3(branch='mcsat', everything=True, clean=True, debug=True, dotnet=False, java=False, static=False, jobs=config.NUMJOBS, clang=False)
#   util.buildz3(branch='tptp', everything=True, clean=True, debug=True,  java=False, static=False, jobs=config.NUMJOBS, clang=False)
    util.test_pyscripts_using_latest('regressions/mcsat', branch='mcsat', debug=True, clang=False)
    util.test_benchmarks_using_latest('regressions/mcsat_smt2', branch='mcsat', debug=True, clang=False)
コード例 #2
0
ファイル: bigtest.py プロジェクト: ahorn/z3test
def bigtest():
    print "BUILD DATE:", datetime.date.today()
    sys.stdout.flush()
    # Build everything:
    #   - using clang and g++
    #   - release and debug modes
    for b in ['unstable']:
        for d in [True, False]:
            for c in [True, False]:
                util.buildz3(branch=b, everything=True, clean=True, debug=d,  java=True, static=True, jobs=config.NUMJOBS, clang=c)
                util.testz3py(branch=b, debug=d, clang=c)
                util.testjavaex(branch=b, debug=d, clang=c)
                util.testz3ex('cpp_example', branch=b, debug=d, clang=c)
                util.testz3ex('c_example', branch=b, debug=d, clang=c)
                util.test_benchmarks_using_latest('regressions/smt2', branch=b, debug=d, clang=c)
                if d:
                    util.test_benchmarks_using_latest('regressions/smt2-debug', branch=b, debug=d, clang=c)
                    util.test_benchmarks_using_latest('regressions/smt2-extra', branch=b, debug=d, clang=c)
                    util.test_pyscripts_using_latest('regressions/python', branch=b, debug=d, clang=c)
            if util.is_windows():
                util.test_cs_using_latest('regressions/cs', branch=b, debug=d, clang=False)
    util.buildz3(branch='mcsat', everything=True, clean=True, debug=True,  java=False, static=False, jobs=config.NUMJOBS, clang=False)
#   util.buildz3(branch='tptp', everything=True, clean=True, debug=True,  java=False, static=False, jobs=config.NUMJOBS, clang=False)
    util.test_pyscripts_using_latest('regressions/mcsat', branch='mcsat', debug=True, clang=False)
    util.test_benchmarks_using_latest('regressions/mcsat_smt2', branch='mcsat', debug=True, clang=False)
コード例 #3
0
ファイル: win32test.py プロジェクト: Z3Prover/z3test
def win32test(b="master"):
    print("BUILD DATE: %s" % datetime.date.today())
    sys.stdout.flush()
    # Build just debug mode
    for d in [True]:
        util.buildz3(branch=b, everything=True, clean=True, debug=d, dotnet=True, java=True, static=False, jobs=1, clang=False, VS64=False)
        util.testz3py(branch=b, debug=d, clang=False)
        util.testjavaex(branch=b, debug=d, clang=False)
        util.testz3ex('cpp_example', branch=b, debug=d, clang=False)
        util.testz3ex('c_example', branch=b, debug=d, clang=False)
        util.test_benchmarks_using_latest('regressions/smt2', branch=b, debug=d, clang=False)
        util.test_benchmarks_using_latest('regressions/smt2-extra', branch=b, debug=d, clang=False)
        if d:
            util.test_benchmarks_using_latest('regressions/smt2-debug', branch=b, debug=d, clang=False)
        util.test_pyscripts_using_latest('regressions/python', branch=b, debug=d, clang=False)
コード例 #4
0
def win32test(b="master"):
    print("BUILD DATE: %s" % datetime.date.today())
    sys.stdout.flush()
    # Build debug and release modes
    for d in [True, False]:
        util.buildz3(branch=b, everything=True, clean=True, debug=d,  java=True, static=False, jobs=1, clang=False, VS64=False)
        util.testz3py(branch=b, debug=d, clang=False)
        util.testjavaex(branch=b, debug=d, clang=False)
        util.testz3ex('cpp_example', branch=b, debug=d, clang=False)
        util.testz3ex('c_example', branch=b, debug=d, clang=False)
        util.test_benchmarks_using_latest('regressions/smt2', branch=b, debug=d, clang=False)
        util.test_benchmarks_using_latest('regressions/smt2-extra', branch=b, debug=d, clang=False)
        if d:
            util.test_benchmarks_using_latest('regressions/smt2-debug', branch=b, debug=d, clang=False)
        util.test_pyscripts_using_latest('regressions/python', branch=b, debug=d, clang=False)
        util.test_cs_using_latest('regressions/cs', branch=b, debug=d, VS64=False, clang=False)
コード例 #5
0
ファイル: win32test.py プロジェクト: ahorn/z3test
def win32test(b="unstable"):
    print "BUILD DATE:", datetime.date.today()
    sys.stdout.flush()
    # Build debug and release modes
    for d in [True, False]:
        util.buildz3(branch=b, everything=True, clean=True, debug=d,  java=True, static=False, jobs=1, clang=False, VS64=False)
        util.testz3py(branch=b, debug=d, clang=False)
        util.testjavaex(branch=b, debug=d, clang=False)
        util.testz3ex('cpp_example', branch=b, debug=d, clang=False)
        util.testz3ex('c_example', branch=b, debug=d, clang=False)
        util.test_benchmarks_using_latest('regressions/smt2', branch=b, debug=d, clang=False)
        util.test_benchmarks_using_latest('regressions/smt2-extra', branch=b, debug=d, clang=False)
        if d:
            util.test_benchmarks_using_latest('regressions/smt2-debug', branch=b, debug=d, clang=False)
        util.test_pyscripts_using_latest('regressions/python', branch=b, debug=d, clang=False)
        util.test_cs_using_latest('regressions/cs', branch=b, debug=d, VS64=False, clang=False)