IF(Pliris_ENABLE_DREAL)
  ADD_SUBDIRECTORY(vector_random)
#This test seems to be hanging
#  ADD_SUBDIRECTORY(vector_random_fs)
ENDIF()
