3rd-party/catch2
1
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2025-08-01 21:05:39 +02:00
Code Issues Packages Projects Releases Wiki Activity

Add test for empty result of filter generator

Browse Source
This commit is contained in:
Martin Hořeňovský
2023-02-01 18:27:41 +01:00
parent 618d44c448
commit 42d9d4533e
18 changed files with 84 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
tests/SelfTest/IntrospectiveTests/GeneratorsImpl.tests.cpp
View File

@@ -16,6 +16,7 @@
#include <catch2/generators/catch_generators_adapters.hpp>
#include <catch2/generators/catch_generators_random.hpp>
#include <catch2/generators/catch_generators_range.hpp>
#include <catch2/generators/catch_generator_exception.hpp>
// Tests of generator implementation details
TEST_CASE("Generators internals", "[generators][internals]") {
@@ -534,3 +535,12 @@ TEST_CASE( "Random generators can be seeded", "[generators][approvals]" ) {
}
}
}
TEST_CASE("Filter generator throws exception for empty generator",
"[generators]") {
using namespace Catch::Generators;
REQUIRE_THROWS_AS(
filter( []( int ) { return false; }, value( 3 ) ),
Catch::GeneratorException );
}