mirror of
https://github.com/circify/circ.git
synced 2026-01-13 23:57:58 -05:00
30 lines
738 B
Python
Executable File
30 lines
738 B
Python
Executable File
#!/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)
|