Files
circ/scripts/aby_tests/zokrates_test_aby.py
Edward Chen 7693d30975 Updates to C Frontend (#67)
Supporting:
- structs
- ptrs
- n-dimension arrays
- nested structs
- typedef
- sizeof
- shift operations

Benchmarks:
- Original HyCC kmeans testcase (without recursion).
- Original HyCC gauss testcase.

Co-authored-by: Alex Ozdemir <aozdemir@hmc.edu>
Co-authored-by: Ubuntu <ubuntu@neptune2.maas>
2022-05-20 02:20:36 -04:00

25 lines
529 B
Python
Executable File

#!/usr/bin/env python
from util import run_tests
from test_suite import *
if __name__ == "__main__":
tests = arithmetic_tests + \
arithmetic_boolean_tests + \
nary_arithmetic_tests + \
bitwise_tests + \
boolean_tests + \
nary_boolean_tests + \
const_arith_tests + \
const_bool_tests + \
loop_tests + \
ite_tests + \
function_tests + \
zok_misc_tests
# shift_tests + \
# arr_tests + \
run_tests('zok', tests)