add_test_pl_tests(
    "$<TARGET_FILE:smt2_solver>"
)
