add_executable(cora-tester EXCLUDE_FROM_ALL cora-tester.cc)
