add_test_pl_tests(
        "$<TARGET_FILE:goto-bmc>"
)
