add_klee_unit_test(UtilsTest  PagePool.cpp BitArray.cpp)
target_link_libraries(UtilsTest PRIVATE kleeCore kleeSupport)
