diff options
| author | Leitwolf | 2026-10-23 08:00:25 +0300 |
|---|---|---|
| committer | GitHub | 2026-10-23 08:00:25 +0300 |
| commit | 83c6fc3ac13abe83fa39f7b5f8559ccaf4412233 (patch) | |
| tree | fc298723d8fb7e7212a48e345744650eb18e9678 /premake5.lua | |
| parent | 976522bf2f4421e058e13e2b8f8fb842546c2127 (diff) | |
| parent | 59d200efe0d6a0645e2ae508cccb43affe874500 (diff) | |
| download | catch3-83c6fc3ac13abe83fa39f7b5f8559ccaf4412233.tar.gz | |
Merge pull request #7 from Progmasoft/feature/native-property-engine
Add a native property-testing engine with choice-sequence shrinking
Diffstat (limited to 'premake5.lua')
| -rw-r--r-- | premake5.lua | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/premake5.lua b/premake5.lua index ca773a60..7b5b1835 100644 --- a/premake5.lua +++ b/premake5.lua @@ -62,6 +62,9 @@ project "ProgmasoftCatch3" targetdir "build/premake/bin/%{cfg.buildcfg}" objdir "build/premake/obj/ProgmasoftCatch3/%{cfg.buildcfg}" files { + "src/Progmasoft/ChoiceShrinker.cpp", + "src/Progmasoft/Context.cpp", + "src/Progmasoft/PropertyEngine.cpp", "src/Progmasoft/Results.cpp", "src/Progmasoft/Results.hpp", "src/Progmasoft/Snapshot.cpp", @@ -83,8 +86,11 @@ project "ProgmasoftPropertyTests" files { "tests/Progmasoft/Generators.tests.cpp", "tests/Progmasoft/Property.tests.cpp", + "tests/Progmasoft/ForAll.tests.cpp", "tests/Progmasoft/Results.tests.cpp", "tests/Progmasoft/Snapshot.tests.cpp", + "tests/Progmasoft/Stateful.tests.cpp", + "tests/Progmasoft/Strategy.tests.cpp", "src/Progmasoft/**.hpp", } includedirs { "src", generated_include } |