Read-only mirrors. Development, issues and pull requests are on GitHub.

summaryrefslogtreecommitdiffhomepage
path: root/xmake.lua
diff options
context:
space:
mode:
authorLeitwolf2026-10-02 15:53:33 +0300
committerGitHub2026-10-02 15:53:33 +0300
commit00bd15ded1dd732472156aece844e7696454bd3a (patch)
tree61e94c3bd1684b4caa256bc34e380c272b67cdb6 /xmake.lua
parentfebb5b1e244174da0985b9994f8d5ed1676950e8 (diff)
parent5d55a3226360fae1eaa5ef91908b0fa7d7d07234 (diff)
downloadcatch3-00bd15ded1dd732472156aece844e7696454bd3a.tar.gz
Merge pull request #1 from Progmasoft/feature/property-combinators
Add composite property generators, single-trial replay and stable counterexample printing
Diffstat (limited to 'xmake.lua')
-rw-r--r--xmake.lua1
1 files changed, 1 insertions, 0 deletions
diff --git a/xmake.lua b/xmake.lua
index 82fc0726..a865f98d 100644
--- a/xmake.lua
+++ b/xmake.lua
@@ -50,6 +50,7 @@ target("ProgmasoftPropertyTests")
set_kind("binary")
set_languages("cxx20")
add_files(
+ "tests/Progmasoft/Generators.tests.cpp",
"tests/Progmasoft/Property.tests.cpp",
"tests/Progmasoft/Results.tests.cpp",
"tests/Progmasoft/Snapshot.tests.cpp",