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)
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)
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)
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)
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)