#-----------------------------------------------------------------------------#
# Add unit tests

cvc4_add_unit_test_black(api_guards_black api)