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