1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
# 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",
],
)
|