# Handle Z3 dependency
try:
import z3
except ImportError:
print "%(red)s[Z3]%(end)s " % cosmetics.colors + \
"Z3 and its python binding are necessary for TranslatorZ3."
if TAGS["z3"] not in exclude_tags:
exclude_tags.append(TAGS["z3"])
# Set callbacks
if multiproc is False:
testset.set_callback(task_done=monothread.task_done,
task_new=monothread.task_new)
testset.set_cpu_numbers(1)
else:
screendisplay.init(testset.cpu_c)
testset.set_callback(task_done=screendisplay.task_done,
task_new=screendisplay.task_new)
# Filter testset according to tags
testset.filter_tags(exclude_tags=exclude_tags)
# Run tests
testset.run()
# Finalize
testset.end(clean=not args.do_not_clean)
# Exit with an error if at least a test failed
exit(testset.tests_passed())
# Handle Z3 dependency
try:
import z3
except ImportError:
print "%(red)s[Z3]%(end)s " % cosmetics.colors + \
"Z3 and its python binding are necessary for TranslatorZ3."
if TAGS["z3"] not in exclude_tags:
exclude_tags.append(TAGS["z3"])
# Set callbacks
if multiproc is False:
testset.set_callback(task_done=monothread.task_done,
task_new=monothread.task_new)
testset.set_cpu_numbers(1)
else:
screendisplay.init(testset.cpu_c)
testset.set_callback(task_done=screendisplay.task_done,
task_new=screendisplay.task_new)
# Filter testset according to tags
testset.filter_tags(exclude_tags=exclude_tags)
# Run tests
testset.run()
# Finalize
testset.end(clean=not args.do_not_clean)
# Exit with an error if at least a test failed
exit(testset.tests_passed())