#!/usr/bin/env python

from util import run_tests
from test_suite import *

if __name__ == "__main__":
    tests = taint_tests
        # arithmetic_tests + \
        # mod_tests + \
        # arithmetic_boolean_tests + \
        # nary_arithmetic_tests + \
        # bitwise_tests + \
        # boolean_tests + \
        # nary_boolean_tests + \
        # const_arith_tests + \
        # const_bool_tests + \
        # ite_tests + \
        # div_tests + \
        # array_tests + \
        # c_array_tests + \
        # misc_tests + \
        # biomatch_tests + \
        # kmeans_tests
        # shift_tests
       
    # TODO: add support for return value - int promotion
    # unsigned_arithmetic_tests + \

    run_tests('c', tests)