test/unit/api/CMakeLists.txt


1
2
3
4
5
6
7
8
9

#-----------------------------------------------------------------------------#
# 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)