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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
#include <functional>
#include <optional>
#include <vector>
#include "cata_catch.h"
#include "rng.h"
#include "test_statistics.h"
static void check_remainder( float proportion )
{
statistics<float> stats;
const epsilon_threshold target_range{ proportion, 0.05 };
do {
stats.add( roll_remainder( proportion ) );
} while( stats.n() < 200 || stats.uncertain_about( target_range ) );
INFO( "Goal: " << proportion );
INFO( "Result: " << stats.avg() );
INFO( "Samples: " << stats.n() );
CHECK( stats.test_threshold( target_range ) );
}
TEST_CASE( "roll_remainder_distribution", "[rng]" )
{
check_remainder( 0.0 );
check_remainder( 0.01 );
check_remainder( -0.01 );
check_remainder( 1.5 );
check_remainder( -1.5 );
check_remainder( 1.75 );
check_remainder( -1.75 );
check_remainder( 1.1 );
check_remainder( -1.1 );
check_remainder( 1.0 );
check_remainder( -1.0 );
check_remainder( 10.0 );
check_remainder( -10.0 );
check_remainder( 10.5 );
check_remainder( -10.5 );
}
static void check_x_in_y( double x, double y )
{
statistics<bool> stats( Z99_999_9 );
const epsilon_threshold target_range{ x / y, 0.05 };
do {
stats.add( x_in_y( x, y ) );
} while( stats.n() < 100 || stats.uncertain_about( target_range ) );
INFO( "Goal: " << x << " / " << y << " ( " << x / y << " )" );
INFO( "Result: " << stats.avg() );
INFO( "Samples: " << stats.n() );
CHECK( stats.test_threshold( target_range ) );
}
TEST_CASE( "x_in_y_distribution", "[rng]" )
{
float y_increment = 0.01f;
// NOLINTNEXTLINE(clang-analyzer-security.FloatLoopCounter,cert-flp30-c)
for( float y = 0.1f; y < 500.0f; y += y_increment ) {
y_increment *= 1.1f;
float x_increment = 0.1f;
// NOLINTNEXTLINE(clang-analyzer-security.FloatLoopCounter,cert-flp30-c)
for( float x = 0.1f; x < y; x += x_increment ) {
check_x_in_y( x, y );
x_increment *= 1.1f;
}
}
}
TEST_CASE( "random_entry_preserves_constness", "[rng]" )
{
const std::vector<int> v0{ 4321 };
int i0 = *random_entry_opt( v0 );
CHECK( i0 == 4321 );
std::vector<int> v1{ 1234 };
int &i1 = *random_entry_opt( v1 );
CHECK( i1 == 1234 );
i1 = 5678;
CHECK( v1[0] == 5678 );
}
|
