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

cvc4_add_unit_test_white(pass_bv_gauss_white)