# Activate this on demand for now
# Our current CMake is having some weird dependencies...
# It makes no sense for this test to depend on solvers
#new_unit_test(intrinsic-utils-test "intrinsic_utils.test.cpp" "symex;solvers;gotoalgorithms;pointeranalysis;util_esbmc;langapi")
