# 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"]) test_ko = [] test_ok = [] # Set callbacks if multiproc is False: testset.set_cpu_numbers(1) testset.set_callback(task_done=lambda test, error:multithread.task_done(test, error, test_ok, test_ko), task_new=multithread.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) print print (cosmetics.colors["green"] + "Result: %d/%d pass" % (len(test_ok), len(test_ok) + len(test_ko)) + cosmetics.colors["end"])
# Handle pycparser dependency try: import pycparser except ImportError: print "%(red)s[PYCPARSER]%(end)s " % cosmetics.colors + \ "pycparser are necessary for Objc." if TAGS["cparser"] not in exclude_tags: exclude_tags.append(TAGS["cparser"]) test_ko = [] test_ok = [] # Set callbacks if multiproc is False: testset.set_cpu_numbers(1) testset.set_callback(task_done=lambda test, error:multithread.task_done(test, error, test_ok, test_ko), task_new=multithread.task_new) # Filter testset according to tags testset.filter_tags(exclude_tags=exclude_tags, include_tags=include_tags) # Run tests testset.run() # Finalize testset.end(clean=not args.do_not_clean) print print (cosmetics.colors["green"] + "Result: %d/%d pass" % (len(test_ok), len(test_ok) + len(test_ko)) + cosmetics.colors["end"])