###################
# CORE Tests
###################

add_executable(runBaseTests
	test_vec_h.cpp
	test_serialization.cpp 
	test_randomness.cpp
	test_domain_store.cpp
)
target_link_libraries_patched(runBaseTests PRIVATE ModelTesting gtest gtest_main)

# Register test to CTest infrastructure
gtest_discover_tests(runBaseTests WORKING_DIRECTORY "${PROJECT_DIR}")
