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 /xmake.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 'xmake.lua')
| -rw-r--r-- | xmake.lua | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -39,6 +39,9 @@ target("ProgmasoftCatch3") set_languages("cxx20") add_headerfiles("src/Progmasoft/**.hpp", {prefixdir = ""}) add_files( + "src/Progmasoft/ChoiceShrinker.cpp", + "src/Progmasoft/Context.cpp", + "src/Progmasoft/PropertyEngine.cpp", "src/Progmasoft/Results.cpp", "src/Progmasoft/Snapshot.cpp", "src/Progmasoft/XmlWriter.cpp" @@ -52,8 +55,11 @@ target("ProgmasoftPropertyTests") add_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/catch2/internal/catch_main.cpp" ) add_includedirs("src", generated_include) |