GCC Code Coverage Report


Directory: ./
File: tests/math/matrix-homogeneous.cpp
Date: 2024-08-13 12:13:25
Exec Total Coverage
Lines: 59 59 100.0%
Branches: 237 444 53.4%

Line Branch Exec Source
1 // Copyright 2011 Florent Lamiraux
2
3 #include <sstream>
4
5 #define BOOST_TEST_MODULE matrix_homogeneous
6
7 #include <boost/math/constants/constants.hpp>
8 #include <boost/test/floating_point_comparison.hpp>
9 #include <boost/test/output_test_stream.hpp>
10 #include <boost/test/unit_test.hpp>
11 #include <sot/core/matrix-geometry.hh>
12
13 using boost::math::constants::pi;
14 using boost::test_tools::output_test_stream;
15
16 namespace dg = dynamicgraph;
17
18 #define MATRIX_BOOST_REQUIRE_CLOSE(N, M, LEFT, RIGHT, TOLERANCE) \
19 for (unsigned i = 0; i < N; ++i) \
20 for (unsigned j = 0; j < M; ++j) \
21 BOOST_REQUIRE_CLOSE(LEFT(i, j), RIGHT(i, j), TOLERANCE)
22
23 #define MATRIX_4x4_BOOST_REQUIRE_CLOSE(LEFT, RIGHT, TOLERANCE) \
24 MATRIX_BOOST_REQUIRE_CLOSE(4, 4, LEFT, RIGHT, TOLERANCE)
25
26 #define MATRIX_IDENTITY_4x4_REQUIRE_CLOSE(M, TOLERANCE) \
27 for (unsigned i = 0; i < 4; ++i) \
28 for (unsigned j = 0; j < 4; ++j) \
29 if (i == j) \
30 BOOST_REQUIRE_CLOSE(M(i, j), 1., TOLERANCE); \
31 else \
32 BOOST_CHECK_SMALL(M(i, j), .01 * TOLERANCE)
33
34 #define MATRIX_HOMO_INIT(M, tx, ty, tz, roll, pitch, yaw) \
35 M(0, 0) = cos(pitch) * cos(yaw); \
36 M(0, 1) = sin(roll) * sin(pitch) * cos(yaw) - cos(roll) * sin(yaw); \
37 M(0, 2) = cos(roll) * sin(pitch) * cos(yaw) + sin(roll) * sin(yaw); \
38 M(0, 3) = tx; \
39 M(1, 0) = cos(pitch) * sin(yaw); \
40 M(1, 1) = sin(roll) * sin(pitch) * sin(yaw) + cos(roll) * cos(yaw); \
41 M(1, 2) = cos(roll) * sin(pitch) * sin(yaw) - sin(roll) * cos(yaw); \
42 M(1, 3) = ty; \
43 M(2, 0) = -sin(pitch); \
44 M(2, 1) = sin(roll) * cos(pitch); \
45 M(2, 2) = cos(roll) * cos(pitch); \
46 M(2, 3) = tz; \
47 M(3, 0) = 0.; \
48 M(3, 1) = 0.; \
49 M(3, 2) = 0.; \
50 M(3, 3) = 1.
51
52
33/66
✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 5 taken 1 times.
✗ Branch 6 not taken.
✓ Branch 8 taken 1 times.
✗ Branch 9 not taken.
✓ Branch 11 taken 1 times.
✗ Branch 12 not taken.
✓ Branch 14 taken 1 times.
✗ Branch 15 not taken.
✓ Branch 19 taken 1 times.
✗ Branch 20 not taken.
✓ Branch 23 taken 1 times.
✗ Branch 24 not taken.
✓ Branch 27 taken 1 times.
✗ Branch 28 not taken.
✓ Branch 30 taken 1 times.
✗ Branch 31 not taken.
✓ Branch 33 taken 1 times.
✗ Branch 34 not taken.
✓ Branch 36 taken 1 times.
✗ Branch 37 not taken.
✓ Branch 41 taken 1 times.
✗ Branch 42 not taken.
✓ Branch 45 taken 1 times.
✗ Branch 46 not taken.
✓ Branch 48 taken 1 times.
✗ Branch 49 not taken.
✓ Branch 52 taken 1 times.
✗ Branch 53 not taken.
✓ Branch 55 taken 1 times.
✗ Branch 56 not taken.
✓ Branch 58 taken 1 times.
✗ Branch 59 not taken.
✓ Branch 61 taken 1 times.
✗ Branch 62 not taken.
✓ Branch 66 taken 1 times.
✗ Branch 67 not taken.
✓ Branch 70 taken 1 times.
✗ Branch 71 not taken.
✓ Branch 73 taken 1 times.
✗ Branch 74 not taken.
✓ Branch 77 taken 1 times.
✗ Branch 78 not taken.
✓ Branch 80 taken 1 times.
✗ Branch 81 not taken.
✓ Branch 83 taken 1 times.
✗ Branch 84 not taken.
✓ Branch 86 taken 1 times.
✗ Branch 87 not taken.
✓ Branch 91 taken 1 times.
✗ Branch 92 not taken.
✓ Branch 95 taken 1 times.
✗ Branch 96 not taken.
✓ Branch 98 taken 1 times.
✗ Branch 99 not taken.
✓ Branch 102 taken 1 times.
✗ Branch 103 not taken.
✓ Branch 105 taken 1 times.
✗ Branch 106 not taken.
✓ Branch 108 taken 1 times.
✗ Branch 109 not taken.
✓ Branch 111 taken 1 times.
✗ Branch 112 not taken.
✓ Branch 116 taken 1 times.
✗ Branch 117 not taken.
4 BOOST_AUTO_TEST_CASE(product) {
53
2/2
✓ Branch 0 taken 1000 times.
✓ Branch 1 taken 1 times.
2002 for (unsigned int i = 0; i < 1000; i++) {
54 double tx, ty, tz;
55 double roll, pitch, yaw;
56
1/2
✓ Branch 1 taken 1000 times.
✗ Branch 2 not taken.
2000 dynamicgraph::sot::MatrixHomogeneous H1;
57 2000 tx = (10. * rand()) / RAND_MAX - 5.;
58 2000 ty = (10. * rand()) / RAND_MAX - 5.;
59 2000 tz = (10. * rand()) / RAND_MAX - 5.;
60 2000 roll = (pi<double>() * rand()) / RAND_MAX - .5 * pi<double>();
61 2000 pitch = (pi<double>() * rand()) / RAND_MAX - .5 * pi<double>();
62 2000 yaw = (2 * pi<double>() * rand()) / RAND_MAX - pi<double>();
63
16/32
✓ Branch 1 taken 1000 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1000 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1000 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 1000 times.
✗ Branch 11 not taken.
✓ Branch 13 taken 1000 times.
✗ Branch 14 not taken.
✓ Branch 16 taken 1000 times.
✗ Branch 17 not taken.
✓ Branch 19 taken 1000 times.
✗ Branch 20 not taken.
✓ Branch 22 taken 1000 times.
✗ Branch 23 not taken.
✓ Branch 25 taken 1000 times.
✗ Branch 26 not taken.
✓ Branch 28 taken 1000 times.
✗ Branch 29 not taken.
✓ Branch 31 taken 1000 times.
✗ Branch 32 not taken.
✓ Branch 34 taken 1000 times.
✗ Branch 35 not taken.
✓ Branch 37 taken 1000 times.
✗ Branch 38 not taken.
✓ Branch 40 taken 1000 times.
✗ Branch 41 not taken.
✓ Branch 43 taken 1000 times.
✗ Branch 44 not taken.
✓ Branch 46 taken 1000 times.
✗ Branch 47 not taken.
2000 MATRIX_HOMO_INIT(H1, tx, ty, tz, roll, pitch, yaw);
64
1/2
✓ Branch 2 taken 1000 times.
✗ Branch 3 not taken.
2000 dg::Matrix M1(H1.matrix());
65
1/2
✓ Branch 1 taken 1000 times.
✗ Branch 2 not taken.
2000 dynamicgraph::sot::MatrixHomogeneous H2;
66 2000 tx = (10. * rand()) / RAND_MAX;
67 2000 ty = (10. * rand()) / RAND_MAX - 5.;
68 2000 tz = (10. * rand()) / RAND_MAX - 5.;
69 2000 roll = (pi<double>() * rand()) / RAND_MAX - .5 * pi<double>();
70 2000 pitch = (pi<double>() * rand()) / RAND_MAX - .5 * pi<double>();
71 2000 yaw = (2 * pi<double>() * rand()) / RAND_MAX - pi<double>();
72
16/32
✓ Branch 1 taken 1000 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1000 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1000 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 1000 times.
✗ Branch 11 not taken.
✓ Branch 13 taken 1000 times.
✗ Branch 14 not taken.
✓ Branch 16 taken 1000 times.
✗ Branch 17 not taken.
✓ Branch 19 taken 1000 times.
✗ Branch 20 not taken.
✓ Branch 22 taken 1000 times.
✗ Branch 23 not taken.
✓ Branch 25 taken 1000 times.
✗ Branch 26 not taken.
✓ Branch 28 taken 1000 times.
✗ Branch 29 not taken.
✓ Branch 31 taken 1000 times.
✗ Branch 32 not taken.
✓ Branch 34 taken 1000 times.
✗ Branch 35 not taken.
✓ Branch 37 taken 1000 times.
✗ Branch 38 not taken.
✓ Branch 40 taken 1000 times.
✗ Branch 41 not taken.
✓ Branch 43 taken 1000 times.
✗ Branch 44 not taken.
✓ Branch 46 taken 1000 times.
✗ Branch 47 not taken.
2000 MATRIX_HOMO_INIT(H2, tx, ty, tz, roll, pitch, yaw);
73
1/2
✓ Branch 2 taken 1000 times.
✗ Branch 3 not taken.
2000 dg::Matrix M2(H2.matrix());
74
1/2
✓ Branch 1 taken 1000 times.
✗ Branch 2 not taken.
2000 dynamicgraph::sot::MatrixHomogeneous H3 = H1 * H2;
75
1/2
✓ Branch 1 taken 1000 times.
✗ Branch 2 not taken.
2000 dg::Matrix M3;
76
2/4
✓ Branch 1 taken 1000 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1000 times.
✗ Branch 5 not taken.
2000 M3 = M1 * M2;
77
78
12/20
✓ Branch 1 taken 16000 times.
✗ Branch 2 not taken.
✓ Branch 5 taken 16000 times.
✗ Branch 6 not taken.
✓ Branch 8 taken 16000 times.
✗ Branch 9 not taken.
✓ Branch 12 taken 16000 times.
✗ Branch 13 not taken.
✓ Branch 15 taken 16000 times.
✗ Branch 16 not taken.
✓ Branch 20 taken 16000 times.
✗ Branch 21 not taken.
✓ Branch 23 taken 16000 times.
✗ Branch 24 not taken.
✗ Branch 27 not taken.
✓ Branch 28 taken 16000 times.
✓ Branch 29 taken 16000 times.
✓ Branch 30 taken 4000 times.
✓ Branch 31 taken 4000 times.
✓ Branch 32 taken 1000 times.
42000 MATRIX_4x4_BOOST_REQUIRE_CLOSE(M3, H3.matrix(), 0.0001);
79 2000 }
80 2 }
81
82
33/66
✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 5 taken 1 times.
✗ Branch 6 not taken.
✓ Branch 8 taken 1 times.
✗ Branch 9 not taken.
✓ Branch 11 taken 1 times.
✗ Branch 12 not taken.
✓ Branch 14 taken 1 times.
✗ Branch 15 not taken.
✓ Branch 19 taken 1 times.
✗ Branch 20 not taken.
✓ Branch 23 taken 1 times.
✗ Branch 24 not taken.
✓ Branch 27 taken 1 times.
✗ Branch 28 not taken.
✓ Branch 30 taken 1 times.
✗ Branch 31 not taken.
✓ Branch 33 taken 1 times.
✗ Branch 34 not taken.
✓ Branch 36 taken 1 times.
✗ Branch 37 not taken.
✓ Branch 41 taken 1 times.
✗ Branch 42 not taken.
✓ Branch 45 taken 1 times.
✗ Branch 46 not taken.
✓ Branch 48 taken 1 times.
✗ Branch 49 not taken.
✓ Branch 52 taken 1 times.
✗ Branch 53 not taken.
✓ Branch 55 taken 1 times.
✗ Branch 56 not taken.
✓ Branch 58 taken 1 times.
✗ Branch 59 not taken.
✓ Branch 61 taken 1 times.
✗ Branch 62 not taken.
✓ Branch 66 taken 1 times.
✗ Branch 67 not taken.
✓ Branch 70 taken 1 times.
✗ Branch 71 not taken.
✓ Branch 73 taken 1 times.
✗ Branch 74 not taken.
✓ Branch 77 taken 1 times.
✗ Branch 78 not taken.
✓ Branch 80 taken 1 times.
✗ Branch 81 not taken.
✓ Branch 83 taken 1 times.
✗ Branch 84 not taken.
✓ Branch 86 taken 1 times.
✗ Branch 87 not taken.
✓ Branch 91 taken 1 times.
✗ Branch 92 not taken.
✓ Branch 95 taken 1 times.
✗ Branch 96 not taken.
✓ Branch 98 taken 1 times.
✗ Branch 99 not taken.
✓ Branch 102 taken 1 times.
✗ Branch 103 not taken.
✓ Branch 105 taken 1 times.
✗ Branch 106 not taken.
✓ Branch 108 taken 1 times.
✗ Branch 109 not taken.
✓ Branch 111 taken 1 times.
✗ Branch 112 not taken.
✓ Branch 116 taken 1 times.
✗ Branch 117 not taken.
4 BOOST_AUTO_TEST_CASE(inverse) {
83
2/2
✓ Branch 0 taken 1000 times.
✓ Branch 1 taken 1 times.
2002 for (unsigned int i = 0; i < 1000; i++) {
84 double tx, ty, tz;
85 double roll, pitch, yaw;
86
1/2
✓ Branch 1 taken 1000 times.
✗ Branch 2 not taken.
2000 dynamicgraph::sot::MatrixHomogeneous H1;
87 2000 tx = (10. * rand()) / RAND_MAX - 5.;
88 2000 ty = (10. * rand()) / RAND_MAX - 5.;
89 2000 tz = (10. * rand()) / RAND_MAX - 5.;
90 2000 roll = (pi<double>() * rand()) / RAND_MAX - .5 * pi<double>();
91 2000 pitch = (pi<double>() * rand()) / RAND_MAX - .5 * pi<double>();
92 2000 yaw = (2 * pi<double>() * rand()) / RAND_MAX - pi<double>();
93
16/32
✓ Branch 1 taken 1000 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1000 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1000 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 1000 times.
✗ Branch 11 not taken.
✓ Branch 13 taken 1000 times.
✗ Branch 14 not taken.
✓ Branch 16 taken 1000 times.
✗ Branch 17 not taken.
✓ Branch 19 taken 1000 times.
✗ Branch 20 not taken.
✓ Branch 22 taken 1000 times.
✗ Branch 23 not taken.
✓ Branch 25 taken 1000 times.
✗ Branch 26 not taken.
✓ Branch 28 taken 1000 times.
✗ Branch 29 not taken.
✓ Branch 31 taken 1000 times.
✗ Branch 32 not taken.
✓ Branch 34 taken 1000 times.
✗ Branch 35 not taken.
✓ Branch 37 taken 1000 times.
✗ Branch 38 not taken.
✓ Branch 40 taken 1000 times.
✗ Branch 41 not taken.
✓ Branch 43 taken 1000 times.
✗ Branch 44 not taken.
✓ Branch 46 taken 1000 times.
✗ Branch 47 not taken.
2000 MATRIX_HOMO_INIT(H1, tx, ty, tz, roll, pitch, yaw);
94
1/2
✓ Branch 1 taken 1000 times.
✗ Branch 2 not taken.
2000 dynamicgraph::sot::MatrixHomogeneous H2;
95 2000 tx = (10. * rand()) / RAND_MAX;
96 2000 ty = (10. * rand()) / RAND_MAX - 5.;
97 2000 tz = (10. * rand()) / RAND_MAX - 5.;
98 2000 roll = (pi<double>() * rand()) / RAND_MAX - .5 * pi<double>();
99 2000 pitch = (pi<double>() * rand()) / RAND_MAX - .5 * pi<double>();
100 2000 yaw = (2 * pi<double>() * rand()) / RAND_MAX - pi<double>();
101
16/32
✓ Branch 1 taken 1000 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1000 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1000 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 1000 times.
✗ Branch 11 not taken.
✓ Branch 13 taken 1000 times.
✗ Branch 14 not taken.
✓ Branch 16 taken 1000 times.
✗ Branch 17 not taken.
✓ Branch 19 taken 1000 times.
✗ Branch 20 not taken.
✓ Branch 22 taken 1000 times.
✗ Branch 23 not taken.
✓ Branch 25 taken 1000 times.
✗ Branch 26 not taken.
✓ Branch 28 taken 1000 times.
✗ Branch 29 not taken.
✓ Branch 31 taken 1000 times.
✗ Branch 32 not taken.
✓ Branch 34 taken 1000 times.
✗ Branch 35 not taken.
✓ Branch 37 taken 1000 times.
✗ Branch 38 not taken.
✓ Branch 40 taken 1000 times.
✗ Branch 41 not taken.
✓ Branch 43 taken 1000 times.
✗ Branch 44 not taken.
✓ Branch 46 taken 1000 times.
✗ Branch 47 not taken.
2000 MATRIX_HOMO_INIT(H2, tx, ty, tz, roll, pitch, yaw);
102
1/2
✓ Branch 1 taken 1000 times.
✗ Branch 2 not taken.
2000 dynamicgraph::sot::MatrixHomogeneous H3 = H1 * H2;
103
3/6
✓ Branch 1 taken 1000 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1000 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1000 times.
✗ Branch 8 not taken.
2000 dynamicgraph::sot::MatrixHomogeneous invH1, invH2, invH3;
104
1/2
✓ Branch 1 taken 1000 times.
✗ Branch 2 not taken.
2000 invH1 = H1.inverse();
105
1/2
✓ Branch 1 taken 1000 times.
✗ Branch 2 not taken.
2000 invH2 = H2.inverse();
106
1/2
✓ Branch 1 taken 1000 times.
✗ Branch 2 not taken.
2000 invH3 = H3.inverse();
107
108
1/2
✓ Branch 1 taken 1000 times.
✗ Branch 2 not taken.
2000 dynamicgraph::sot::MatrixHomogeneous I4;
109
1/2
✓ Branch 1 taken 1000 times.
✗ Branch 2 not taken.
2000 dynamicgraph::sot::MatrixHomogeneous P1 = H1 * invH1;
110
1/2
✓ Branch 1 taken 1000 times.
✗ Branch 2 not taken.
2000 dynamicgraph::sot::MatrixHomogeneous P2 = H2 * invH2;
111
1/2
✓ Branch 1 taken 1000 times.
✗ Branch 2 not taken.
2000 dynamicgraph::sot::MatrixHomogeneous P3 = H3 * invH3;
112
1/2
✓ Branch 1 taken 1000 times.
✗ Branch 2 not taken.
2000 dynamicgraph::sot::MatrixHomogeneous P4 = invH2 * invH1;
113
114
19/32
✓ Branch 0 taken 4000 times.
✓ Branch 1 taken 12000 times.
✓ Branch 3 taken 4000 times.
✗ Branch 4 not taken.
✓ Branch 7 taken 4000 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 4000 times.
✗ Branch 11 not taken.
✓ Branch 13 taken 4000 times.
✗ Branch 14 not taken.
✓ Branch 18 taken 4000 times.
✗ Branch 19 not taken.
✓ Branch 21 taken 4000 times.
✗ Branch 22 not taken.
✗ Branch 25 not taken.
✓ Branch 26 taken 4000 times.
✓ Branch 28 taken 12000 times.
✗ Branch 29 not taken.
✓ Branch 32 taken 12000 times.
✗ Branch 33 not taken.
✓ Branch 35 taken 12000 times.
✗ Branch 36 not taken.
✓ Branch 40 taken 12000 times.
✗ Branch 41 not taken.
✓ Branch 43 taken 12000 times.
✗ Branch 44 not taken.
✗ Branch 47 not taken.
✓ Branch 48 taken 12000 times.
✓ Branch 49 taken 16000 times.
✓ Branch 50 taken 4000 times.
✓ Branch 51 taken 4000 times.
✓ Branch 52 taken 1000 times.
42000 MATRIX_IDENTITY_4x4_REQUIRE_CLOSE(P1, 0.0001);
115
19/32
✓ Branch 0 taken 4000 times.
✓ Branch 1 taken 12000 times.
✓ Branch 3 taken 4000 times.
✗ Branch 4 not taken.
✓ Branch 7 taken 4000 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 4000 times.
✗ Branch 11 not taken.
✓ Branch 13 taken 4000 times.
✗ Branch 14 not taken.
✓ Branch 18 taken 4000 times.
✗ Branch 19 not taken.
✓ Branch 21 taken 4000 times.
✗ Branch 22 not taken.
✗ Branch 25 not taken.
✓ Branch 26 taken 4000 times.
✓ Branch 28 taken 12000 times.
✗ Branch 29 not taken.
✓ Branch 32 taken 12000 times.
✗ Branch 33 not taken.
✓ Branch 35 taken 12000 times.
✗ Branch 36 not taken.
✓ Branch 40 taken 12000 times.
✗ Branch 41 not taken.
✓ Branch 43 taken 12000 times.
✗ Branch 44 not taken.
✗ Branch 47 not taken.
✓ Branch 48 taken 12000 times.
✓ Branch 49 taken 16000 times.
✓ Branch 50 taken 4000 times.
✓ Branch 51 taken 4000 times.
✓ Branch 52 taken 1000 times.
42000 MATRIX_IDENTITY_4x4_REQUIRE_CLOSE(P2, 0.0001);
116
19/32
✓ Branch 0 taken 4000 times.
✓ Branch 1 taken 12000 times.
✓ Branch 3 taken 4000 times.
✗ Branch 4 not taken.
✓ Branch 7 taken 4000 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 4000 times.
✗ Branch 11 not taken.
✓ Branch 13 taken 4000 times.
✗ Branch 14 not taken.
✓ Branch 18 taken 4000 times.
✗ Branch 19 not taken.
✓ Branch 21 taken 4000 times.
✗ Branch 22 not taken.
✗ Branch 25 not taken.
✓ Branch 26 taken 4000 times.
✓ Branch 28 taken 12000 times.
✗ Branch 29 not taken.
✓ Branch 32 taken 12000 times.
✗ Branch 33 not taken.
✓ Branch 35 taken 12000 times.
✗ Branch 36 not taken.
✓ Branch 40 taken 12000 times.
✗ Branch 41 not taken.
✓ Branch 43 taken 12000 times.
✗ Branch 44 not taken.
✗ Branch 47 not taken.
✓ Branch 48 taken 12000 times.
✓ Branch 49 taken 16000 times.
✓ Branch 50 taken 4000 times.
✓ Branch 51 taken 4000 times.
✓ Branch 52 taken 1000 times.
42000 MATRIX_IDENTITY_4x4_REQUIRE_CLOSE(P3, 0.0001);
117
12/20
✓ Branch 1 taken 16000 times.
✗ Branch 2 not taken.
✓ Branch 5 taken 16000 times.
✗ Branch 6 not taken.
✓ Branch 8 taken 16000 times.
✗ Branch 9 not taken.
✓ Branch 11 taken 16000 times.
✗ Branch 12 not taken.
✓ Branch 14 taken 16000 times.
✗ Branch 15 not taken.
✓ Branch 19 taken 16000 times.
✗ Branch 20 not taken.
✓ Branch 22 taken 16000 times.
✗ Branch 23 not taken.
✗ Branch 26 not taken.
✓ Branch 27 taken 16000 times.
✓ Branch 28 taken 16000 times.
✓ Branch 29 taken 4000 times.
✓ Branch 30 taken 4000 times.
✓ Branch 31 taken 1000 times.
42000 MATRIX_4x4_BOOST_REQUIRE_CLOSE(P4, invH3, 0.0001);
118 }
119 2 }
120