if (POLICE_SAT_IC3)
file(GLOB SRCS "*.cpp")
if(SRCS)
    target_sources(${POLICE_TESTS} PRIVATE ${SRCS})
endif()

add_subdirectory(models)
endif()
