3 ## Top contributors (to current version):
4 ## Aina Niemetz, Gereon Kremer, Andres Noetzli
5 ## This file is part of the CVC4 project.
6 ## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
7 ## in the top-level source directory and their institutional affiliations.
8 ## All rights reserved. See the file COPYING in the top-level source
9 ## directory for licensing information.
11 #-----------------------------------------------------------------------------#
14 cvc4_add_unit_test_white(array_store_all_white util)
15 cvc4_add_unit_test_white(assert_white util)
16 cvc4_add_unit_test_black(binary_heap_black util)
17 cvc4_add_unit_test_black(bitvector_black util)
18 cvc4_add_unit_test_black(boolean_simplification_black util)
19 cvc4_add_unit_test_black(cardinality_public util)
20 cvc4_add_unit_test_white(check_white util)
21 cvc4_add_unit_test_black(configuration_black util)
22 cvc4_add_unit_test_black(datatype_black util)
23 cvc4_add_unit_test_black(exception_black util)
24 cvc4_add_unit_test_black(integer_black util)
25 cvc4_add_unit_test_white(integer_white util)
26 cvc4_add_unit_test_black(output_black util)
27 cvc4_add_unit_test_black(rational_black util)
28 cvc4_add_unit_test_white(rational_white util)
30 cvc4_add_unit_test_black(real_algebraic_number_black util)
32 cvc4_add_unit_test_black(stats_black util)