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

summaryrefslogtreecommitdiffhomepage
path: root/premake5.lua
diff options
context:
space:
mode:
authorLeitwolf2026-10-02 15:53:33 +0300
committerGitHub2026-10-02 15:53:33 +0300
commit00bd15ded1dd732472156aece844e7696454bd3a (patch)
tree61e94c3bd1684b4caa256bc34e380c272b67cdb6 /premake5.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 'premake5.lua')
-rw-r--r--premake5.lua1
1 files changed, 1 insertions, 0 deletions
diff --git a/premake5.lua b/premake5.lua
index 7a7d5e2a..ca773a60 100644
--- a/premake5.lua
+++ b/premake5.lua
@@ -81,6 +81,7 @@ project "ProgmasoftPropertyTests"
targetdir "build/premake/bin/%{cfg.buildcfg}"
objdir "build/premake/obj/ProgmasoftPropertyTests/%{cfg.buildcfg}"
files {
+ "tests/Progmasoft/Generators.tests.cpp",
"tests/Progmasoft/Property.tests.cpp",
"tests/Progmasoft/Results.tests.cpp",
"tests/Progmasoft/Snapshot.tests.cpp",