#
# CMakeLists.txt for sat-solver/tools/tests
#

ENABLE_TESTING()
ADD_SUBDIRECTORY(content)
ADD_SUBDIRECTORY(rpmmd)

# disable until bindings are fixed
#ADD_SUBDIRECTORY(updateinfo)
