find_package(Catch2 2.13.0 REQUIRED)
function( gooseAddSemaTest name ${ARGN} )
set( fullname eir-${name} )
set( testfile tests/${fullname} )
add_executable( test-${fullname} ${ARGN} )
set_target_properties( test-${fullname} PROPERTIES OUTPUT_NAME ${testfile} )
target_link_libraries( test-${fullname} PRIVATE
goose-sema
goose-eir
goose-util
goose-diagnostics
Catch2::Catch2 )
llvm_config( test-${fullname} USE_SHARED )
add_test( NAME ${fullname} COMMAND test-${fullname} WORKING_DIRECTORY ${PROJECT_BINARY_DIR} )
endfunction( gooseAddSemaTest )
gooseAddSemaTest( unify-holes unify-holes.cpp )
gooseAddSemaTest( tctrie-merge tctrie-merge.cpp )
gooseAddSemaTest( tctrie-typecheck tctrie-typecheck.cpp )