blob: 79f469524ec3a03b3a3d10e9fb161edcac2d7e2e (
plain)
1
2
3
4
5
6
7
8
9
10
|
#-----------------------------------------------------------------------------#
# Add unit tests
cvc4_add_unit_test_black(datatype_api_black api)
cvc4_add_unit_test_black(op_black api)
cvc4_add_unit_test_black(result_black api)
cvc4_add_unit_test_black(solver_black api)
cvc4_add_unit_test_black(sort_black api)
cvc4_add_unit_test_black(term_black api)
cvc4_add_unit_test_black(grammar_black api)
|