add_klee_unit_test(RNGTest
  RNGTest.cpp)
target_link_libraries(RNGTest PRIVATE kleeSupport)