blob: 668c086d7e5e18792d27a8260a78bb102307060e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
// Copyright (c) 2026 Progmasoft.
// SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-1.1
#pragma once
#include <catch2/catch_message.hpp>
#include <catch2/catch_test_macros.hpp>
#include <Progmasoft/Catch3/Property.hpp>
#include <Progmasoft/Catch3/Snapshot.hpp>
/// Runs a property and reports its replay seed and minimized counterexample.
#define CATCH3_CHECK_PROPERTY( ... ) \
do { \
const auto catch3PropertyResult = \
::Progmasoft::Catch3::CheckProperty( __VA_ARGS__ ); \
INFO( catch3PropertyResult.Describe() ); \
CHECK( catch3PropertyResult.Succeeded() ); \
} while ( false )
/// Compares a value with a named snapshot and reports the first difference.
#define CATCH3_CHECK_SNAPSHOT( name, actual, options ) \
do { \
const auto catch3SnapshotResult = \
::Progmasoft::Catch3::CompareSnapshot( name, actual, options ); \
INFO( catch3SnapshotResult.Message ); \
CHECK( catch3SnapshotResult.Succeeded() ); \
} while ( false )
|