find_package(GTest REQUIRED)

if (HOMCERT_BFV_SEAL)
	add_executable(test_bfv bfv/main.cpp)
	target_link_libraries(test_bfv PRIVATE homcert GTest::GTest)
endif()