# Copyright (c) 2026 Progmasoft.
# SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-2.0
load("@rules_cc//cc:defs.bzl", "cc_binary", "cc_test")

package(default_visibility = ["//visibility:public"])

cc_test(
    name = "property_tests",
    srcs = [
        "ForAll.tests.cpp",
        "Generators.tests.cpp",
        "Mock.tests.cpp",
        "Property.tests.cpp",
        "Results.tests.cpp",
        "Runner.tests.cpp",
        "RunnerFixtureClient.hpp",
        "RunnerUnits.tests.cpp",
        "RunnerPlanner.tests.cpp",
        "RunnerOptions.tests.cpp",
        "RunnerConfig.tests.cpp",
        "RunnerAnalysis.tests.cpp",
        "RunnerImport.tests.cpp",
        "RunnerOutput.tests.cpp",
        "Snapshot.tests.cpp",
        "Stateful.tests.cpp",
        "Strategy.tests.cpp",
    ],
    copts = select({
        "@platforms//os:windows": ["/std:c++17"],
        "//conditions:default": ["-std=c++17"],
    }),
    args = ["--no-history"],
    data = [":runner_fixture"],
    env = {"CATCH3_RUNNER_FIXTURE": "$(rootpath :runner_fixture)"},
    deps = [
        "//:catch3",
        "//:catch3_main",
    ],
)

# Tests that misbehave on purpose, for the runner's integration tests.
cc_binary(
    name = "runner_fixture",
    srcs = ["RunnerFixture.cpp"],
    copts = select({
        "@platforms//os:windows": ["/std:c++17"],
        "//conditions:default": ["-std=c++17"],
    }),
    deps = [
        "//:catch3",
        "//:catch3_main",
    ],
)