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
|
# Copyright (c) 2026 Progmasoft.
# SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-1.1
load("@rules_cc//cc:defs.bzl", "cc_test")
package(default_visibility = ["//visibility:public"])
cc_test(
name = "property_tests",
srcs = [
"ForAll.tests.cpp",
"Generators.tests.cpp",
"Property.tests.cpp",
"Results.tests.cpp",
"Snapshot.tests.cpp",
"Stateful.tests.cpp",
"Strategy.tests.cpp",
],
copts = select({
"@platforms//os:windows": ["/std:c++20"],
"//conditions:default": ["-std=c++20"],
}),
deps = [
"//:catch2",
"//:catch2_main",
"//src/Progmasoft:catch3",
],
)
|