GCC Code Coverage Report


Directory: gridformat/
File: gridformat/vtk/data_array.hpp
Date: 2024-11-10 16:24:00
Exec Total Coverage
Lines: 40 40 100.0%
Functions: 40 96 41.7%
Branches: 433 2666 16.2%

Line Branch Exec Source
1 // SPDX-FileCopyrightText: 2022-2023 Dennis Gläser <dennis.glaeser@iws.uni-stuttgart.de>
2 // SPDX-License-Identifier: MIT
3 /*!
4 * \file
5 * \ingroup VTK
6 * \copydoc GridFormat::VTK::DataArray
7 */
8 #ifndef GRIDFORMAT_VTK_DATA_ARRAY_HPP_
9 #define GRIDFORMAT_VTK_DATA_ARRAY_HPP_
10
11 #include <span>
12 #include <utility>
13 #include <ostream>
14 #include <vector>
15 #include <iterator>
16 #include <type_traits>
17
18 #include <gridformat/encoding/ascii.hpp>
19 #include <gridformat/encoding/concepts.hpp>
20 #include <gridformat/encoding/encoded_field.hpp>
21 #include <gridformat/compression/concepts.hpp>
22
23 namespace GridFormat::VTK {
24
25 /*!
26 * \ingroup VTK
27 * \brief Wraps a field and exposes it as VTK data array.
28 * Essentially, this implements the operator<< to stream
29 * the field data in the way that VTK file formats require it.
30 */
31 template<typename Encoder,
32 typename Compressor,
33 typename HeaderType>
34 class DataArray {
35 static constexpr bool do_compression = !std::is_same_v<Compressor, None>;
36
37 public:
38 234530 DataArray(const Field& field,
39 Encoder encoder,
40 Compressor compressor,
41 [[maybe_unused]] const Precision<HeaderType>& = {})
42 234530 : _field(field)
43 234530 , _encoder{std::move(encoder)}
44 234530 , _compressor{std::move(compressor)} {
45 // if no ascii formatting was specified by the user, set our defaults
46 if constexpr (std::is_same_v<Encoder, GridFormat::Encoding::Ascii>) {
47
5/10
✓ Branch 1 taken 14726 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 14726 times.
✗ Branch 5 not taken.
✓ Branch 8 taken 14726 times.
✗ Branch 9 not taken.
✓ Branch 11 taken 14726 times.
✗ Branch 12 not taken.
✓ Branch 13 taken 14726 times.
✗ Branch 14 not taken.
29452 if (_encoder.options() == GridFormat::AsciiFormatOptions{})
48
1/2
✓ Branch 2 taken 14726 times.
✗ Branch 3 not taken.
58904 _encoder = _encoder.with({
49 .delimiter = " ",
50
1/2
✓ Branch 1 taken 14726 times.
✗ Branch 2 not taken.
88356 .line_prefix = std::string(10, ' '),
51 .entries_per_line = 15
52 });
53 }
54 234530 }
55
56 234530 friend std::ostream& operator<<(std::ostream& s, const DataArray& da) {
57 234530 da.stream(s);
58 234530 return s;
59 }
60
61 234530 void stream(std::ostream& s) const {
62 if constexpr (std::is_same_v<Encoder, GridFormat::Encoding::Ascii>)
63 29452 _export_ascii(s, _encoder);
64 else if constexpr (do_compression)
65 161716 _export_compressed_binary(s);
66 else
67 43362 _export_binary(s);
68 234530 }
69
70 private:
71 template<typename _Enc>
72 29452 void _export_ascii(std::ostream& s, _Enc encoder) const {
73
1/2
✓ Branch 2 taken 14726 times.
✗ Branch 3 not taken.
29452 s << EncodedField{_field, encoder};
74 29452 }
75
76 43362 void _export_binary(std::ostream& s) const {
77 43362 auto encoded = _encoder(s);
78
1/2
✓ Branch 1 taken 21681 times.
✗ Branch 2 not taken.
43362 std::array<const HeaderType, 1> number_of_bytes{static_cast<HeaderType>(_field.size_in_bytes())};
79
1/2
✓ Branch 2 taken 21681 times.
✗ Branch 3 not taken.
43362 encoded.write(std::span{number_of_bytes});
80
1/2
✓ Branch 2 taken 21681 times.
✗ Branch 3 not taken.
43362 s << EncodedField{_field, _encoder};
81 43362 }
82
83 161716 void _export_compressed_binary(std::ostream& s) const requires(Concepts::Compressor<Compressor>) {
84
2/4
✓ Branch 1 taken 80858 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 80858 times.
✗ Branch 5 not taken.
242574 _field.precision().visit([&] <typename T> (const Precision<T>&) {
85 80858 auto encoded = _encoder(s);
86
42/264
✓ Branch 1 taken 874 times.
✗ Branch 2 not taken.
✗ Branch 4 not taken.
✗ Branch 5 not taken.
✓ Branch 7 taken 82 times.
✗ Branch 8 not taken.
✗ Branch 10 not taken.
✗ Branch 11 not taken.
✓ Branch 13 taken 11 times.
✗ Branch 14 not taken.
✗ Branch 16 not taken.
✗ Branch 17 not taken.
✓ Branch 19 taken 437 times.
✗ Branch 20 not taken.
✗ Branch 22 not taken.
✗ Branch 23 not taken.
✗ Branch 25 not taken.
✗ Branch 26 not taken.
✓ Branch 28 taken 3195 times.
✗ Branch 29 not taken.
✗ Branch 31 not taken.
✗ Branch 32 not taken.
✗ Branch 34 not taken.
✗ Branch 35 not taken.
✗ Branch 37 not taken.
✗ Branch 38 not taken.
✗ Branch 40 not taken.
✗ Branch 41 not taken.
✗ Branch 43 not taken.
✗ Branch 44 not taken.
✗ Branch 46 not taken.
✗ Branch 47 not taken.
✗ Branch 49 not taken.
✗ Branch 50 not taken.
✗ Branch 52 not taken.
✗ Branch 53 not taken.
✗ Branch 55 not taken.
✗ Branch 56 not taken.
✗ Branch 58 not taken.
✗ Branch 59 not taken.
✓ Branch 61 taken 4624 times.
✗ Branch 62 not taken.
✓ Branch 64 taken 1537 times.
✗ Branch 65 not taken.
✗ Branch 67 not taken.
✗ Branch 68 not taken.
✗ Branch 70 not taken.
✗ Branch 71 not taken.
✓ Branch 73 taken 452 times.
✗ Branch 74 not taken.
✗ Branch 76 not taken.
✗ Branch 77 not taken.
✓ Branch 79 taken 2312 times.
✗ Branch 80 not taken.
✗ Branch 82 not taken.
✗ Branch 83 not taken.
✗ Branch 85 not taken.
✗ Branch 86 not taken.
✓ Branch 88 taken 15020 times.
✗ Branch 89 not taken.
✗ Branch 91 not taken.
✗ Branch 92 not taken.
✗ Branch 94 not taken.
✗ Branch 95 not taken.
✗ Branch 97 not taken.
✗ Branch 98 not taken.
✗ Branch 100 not taken.
✗ Branch 101 not taken.
✗ Branch 103 not taken.
✗ Branch 104 not taken.
✗ Branch 106 not taken.
✗ Branch 107 not taken.
✗ Branch 109 not taken.
✗ Branch 110 not taken.
✗ Branch 112 not taken.
✗ Branch 113 not taken.
✗ Branch 115 not taken.
✗ Branch 116 not taken.
✗ Branch 118 not taken.
✗ Branch 119 not taken.
✗ Branch 121 not taken.
✗ Branch 122 not taken.
✗ Branch 124 not taken.
✗ Branch 125 not taken.
✗ Branch 127 not taken.
✗ Branch 128 not taken.
✗ Branch 130 not taken.
✗ Branch 131 not taken.
✗ Branch 133 not taken.
✗ Branch 134 not taken.
✗ Branch 136 not taken.
✗ Branch 137 not taken.
✗ Branch 139 not taken.
✗ Branch 140 not taken.
✗ Branch 142 not taken.
✗ Branch 143 not taken.
✗ Branch 145 not taken.
✗ Branch 146 not taken.
✗ Branch 148 not taken.
✗ Branch 149 not taken.
✓ Branch 151 taken 880 times.
✗ Branch 152 not taken.
✓ Branch 154 taken 82 times.
✗ Branch 155 not taken.
✗ Branch 157 not taken.
✗ Branch 158 not taken.
✗ Branch 160 not taken.
✗ Branch 161 not taken.
✓ Branch 163 taken 11 times.
✗ Branch 164 not taken.
✗ Branch 166 not taken.
✗ Branch 167 not taken.
✓ Branch 169 taken 440 times.
✗ Branch 170 not taken.
✗ Branch 172 not taken.
✗ Branch 173 not taken.
✗ Branch 175 not taken.
✗ Branch 176 not taken.
✓ Branch 178 taken 3201 times.
✗ Branch 179 not taken.
✗ Branch 181 not taken.
✗ Branch 182 not taken.
✗ Branch 184 not taken.
✗ Branch 185 not taken.
✗ Branch 187 not taken.
✗ Branch 188 not taken.
✗ Branch 190 not taken.
✗ Branch 191 not taken.
✗ Branch 193 not taken.
✗ Branch 194 not taken.
✗ Branch 196 not taken.
✗ Branch 197 not taken.
✗ Branch 199 not taken.
✗ Branch 200 not taken.
✗ Branch 202 not taken.
✗ Branch 203 not taken.
✗ Branch 205 not taken.
✗ Branch 206 not taken.
✗ Branch 208 not taken.
✗ Branch 209 not taken.
✗ Branch 211 not taken.
✗ Branch 212 not taken.
✗ Branch 214 not taken.
✗ Branch 215 not taken.
✗ Branch 217 not taken.
✗ Branch 218 not taken.
✗ Branch 220 not taken.
✗ Branch 221 not taken.
✗ Branch 223 not taken.
✗ Branch 224 not taken.
✗ Branch 226 not taken.
✗ Branch 227 not taken.
✗ Branch 229 not taken.
✗ Branch 230 not taken.
✗ Branch 232 not taken.
✗ Branch 233 not taken.
✗ Branch 235 not taken.
✗ Branch 236 not taken.
✗ Branch 238 not taken.
✗ Branch 239 not taken.
✓ Branch 241 taken 874 times.
✗ Branch 242 not taken.
✓ Branch 244 taken 82 times.
✗ Branch 245 not taken.
✗ Branch 247 not taken.
✗ Branch 248 not taken.
✗ Branch 250 not taken.
✗ Branch 251 not taken.
✓ Branch 253 taken 11 times.
✗ Branch 254 not taken.
✗ Branch 256 not taken.
✗ Branch 257 not taken.
✓ Branch 259 taken 437 times.
✗ Branch 260 not taken.
✗ Branch 262 not taken.
✗ Branch 263 not taken.
✗ Branch 265 not taken.
✗ Branch 266 not taken.
✓ Branch 268 taken 3195 times.
✗ Branch 269 not taken.
✓ Branch 271 taken 874 times.
✗ Branch 272 not taken.
✓ Branch 274 taken 82 times.
✗ Branch 275 not taken.
✗ Branch 277 not taken.
✗ Branch 278 not taken.
✗ Branch 280 not taken.
✗ Branch 281 not taken.
✓ Branch 283 taken 11 times.
✗ Branch 284 not taken.
✗ Branch 286 not taken.
✗ Branch 287 not taken.
✓ Branch 289 taken 437 times.
✗ Branch 290 not taken.
✗ Branch 292 not taken.
✗ Branch 293 not taken.
✗ Branch 295 not taken.
✗ Branch 296 not taken.
✓ Branch 298 taken 3195 times.
✗ Branch 299 not taken.
✓ Branch 301 taken 874 times.
✗ Branch 302 not taken.
✓ Branch 304 taken 82 times.
✗ Branch 305 not taken.
✗ Branch 307 not taken.
✗ Branch 308 not taken.
✗ Branch 310 not taken.
✗ Branch 311 not taken.
✓ Branch 313 taken 11 times.
✗ Branch 314 not taken.
✗ Branch 316 not taken.
✗ Branch 317 not taken.
✓ Branch 319 taken 437 times.
✗ Branch 320 not taken.
✗ Branch 322 not taken.
✗ Branch 323 not taken.
✗ Branch 325 not taken.
✗ Branch 326 not taken.
✓ Branch 328 taken 3195 times.
✗ Branch 329 not taken.
✓ Branch 331 taken 874 times.
✗ Branch 332 not taken.
✓ Branch 334 taken 82 times.
✗ Branch 335 not taken.
✗ Branch 337 not taken.
✗ Branch 338 not taken.
✗ Branch 340 not taken.
✗ Branch 341 not taken.
✓ Branch 343 taken 11 times.
✗ Branch 344 not taken.
✗ Branch 346 not taken.
✗ Branch 347 not taken.
✓ Branch 349 taken 437 times.
✗ Branch 350 not taken.
✗ Branch 352 not taken.
✗ Branch 353 not taken.
✗ Branch 355 not taken.
✗ Branch 356 not taken.
✓ Branch 358 taken 3195 times.
✗ Branch 359 not taken.
✓ Branch 361 taken 2622 times.
✗ Branch 362 not taken.
✗ Branch 364 not taken.
✗ Branch 365 not taken.
✓ Branch 367 taken 13572 times.
✗ Branch 368 not taken.
✗ Branch 370 not taken.
✗ Branch 371 not taken.
✗ Branch 373 not taken.
✗ Branch 374 not taken.
✓ Branch 376 taken 2622 times.
✗ Branch 377 not taken.
✗ Branch 379 not taken.
✗ Branch 380 not taken.
✗ Branch 382 not taken.
✗ Branch 383 not taken.
✓ Branch 385 taken 2622 times.
✗ Branch 386 not taken.
✓ Branch 388 taken 2622 times.
✗ Branch 389 not taken.
✓ Branch 391 taken 2622 times.
✗ Branch 392 not taken.
✓ Branch 394 taken 2622 times.
✗ Branch 395 not taken.
80858 Serialization serialization = _field.serialized();
87
42/264
✓ Branch 1 taken 874 times.
✗ Branch 2 not taken.
✗ Branch 4 not taken.
✗ Branch 5 not taken.
✓ Branch 7 taken 82 times.
✗ Branch 8 not taken.
✗ Branch 10 not taken.
✗ Branch 11 not taken.
✓ Branch 13 taken 11 times.
✗ Branch 14 not taken.
✗ Branch 16 not taken.
✗ Branch 17 not taken.
✓ Branch 19 taken 437 times.
✗ Branch 20 not taken.
✗ Branch 22 not taken.
✗ Branch 23 not taken.
✗ Branch 25 not taken.
✗ Branch 26 not taken.
✓ Branch 28 taken 3195 times.
✗ Branch 29 not taken.
✗ Branch 31 not taken.
✗ Branch 32 not taken.
✗ Branch 34 not taken.
✗ Branch 35 not taken.
✗ Branch 37 not taken.
✗ Branch 38 not taken.
✗ Branch 40 not taken.
✗ Branch 41 not taken.
✗ Branch 43 not taken.
✗ Branch 44 not taken.
✗ Branch 46 not taken.
✗ Branch 47 not taken.
✗ Branch 49 not taken.
✗ Branch 50 not taken.
✗ Branch 52 not taken.
✗ Branch 53 not taken.
✗ Branch 55 not taken.
✗ Branch 56 not taken.
✗ Branch 58 not taken.
✗ Branch 59 not taken.
✓ Branch 61 taken 4624 times.
✗ Branch 62 not taken.
✓ Branch 64 taken 1537 times.
✗ Branch 65 not taken.
✗ Branch 67 not taken.
✗ Branch 68 not taken.
✗ Branch 70 not taken.
✗ Branch 71 not taken.
✓ Branch 73 taken 452 times.
✗ Branch 74 not taken.
✗ Branch 76 not taken.
✗ Branch 77 not taken.
✓ Branch 79 taken 2312 times.
✗ Branch 80 not taken.
✗ Branch 82 not taken.
✗ Branch 83 not taken.
✗ Branch 85 not taken.
✗ Branch 86 not taken.
✓ Branch 88 taken 15020 times.
✗ Branch 89 not taken.
✗ Branch 91 not taken.
✗ Branch 92 not taken.
✗ Branch 94 not taken.
✗ Branch 95 not taken.
✗ Branch 97 not taken.
✗ Branch 98 not taken.
✗ Branch 100 not taken.
✗ Branch 101 not taken.
✗ Branch 103 not taken.
✗ Branch 104 not taken.
✗ Branch 106 not taken.
✗ Branch 107 not taken.
✗ Branch 109 not taken.
✗ Branch 110 not taken.
✗ Branch 112 not taken.
✗ Branch 113 not taken.
✗ Branch 115 not taken.
✗ Branch 116 not taken.
✗ Branch 118 not taken.
✗ Branch 119 not taken.
✗ Branch 121 not taken.
✗ Branch 122 not taken.
✗ Branch 124 not taken.
✗ Branch 125 not taken.
✗ Branch 127 not taken.
✗ Branch 128 not taken.
✗ Branch 130 not taken.
✗ Branch 131 not taken.
✗ Branch 133 not taken.
✗ Branch 134 not taken.
✗ Branch 136 not taken.
✗ Branch 137 not taken.
✗ Branch 139 not taken.
✗ Branch 140 not taken.
✗ Branch 142 not taken.
✗ Branch 143 not taken.
✗ Branch 145 not taken.
✗ Branch 146 not taken.
✗ Branch 148 not taken.
✗ Branch 149 not taken.
✓ Branch 151 taken 880 times.
✗ Branch 152 not taken.
✓ Branch 154 taken 82 times.
✗ Branch 155 not taken.
✗ Branch 157 not taken.
✗ Branch 158 not taken.
✗ Branch 160 not taken.
✗ Branch 161 not taken.
✓ Branch 163 taken 11 times.
✗ Branch 164 not taken.
✗ Branch 166 not taken.
✗ Branch 167 not taken.
✓ Branch 169 taken 440 times.
✗ Branch 170 not taken.
✗ Branch 172 not taken.
✗ Branch 173 not taken.
✗ Branch 175 not taken.
✗ Branch 176 not taken.
✓ Branch 178 taken 3201 times.
✗ Branch 179 not taken.
✗ Branch 181 not taken.
✗ Branch 182 not taken.
✗ Branch 184 not taken.
✗ Branch 185 not taken.
✗ Branch 187 not taken.
✗ Branch 188 not taken.
✗ Branch 190 not taken.
✗ Branch 191 not taken.
✗ Branch 193 not taken.
✗ Branch 194 not taken.
✗ Branch 196 not taken.
✗ Branch 197 not taken.
✗ Branch 199 not taken.
✗ Branch 200 not taken.
✗ Branch 202 not taken.
✗ Branch 203 not taken.
✗ Branch 205 not taken.
✗ Branch 206 not taken.
✗ Branch 208 not taken.
✗ Branch 209 not taken.
✗ Branch 211 not taken.
✗ Branch 212 not taken.
✗ Branch 214 not taken.
✗ Branch 215 not taken.
✗ Branch 217 not taken.
✗ Branch 218 not taken.
✗ Branch 220 not taken.
✗ Branch 221 not taken.
✗ Branch 223 not taken.
✗ Branch 224 not taken.
✗ Branch 226 not taken.
✗ Branch 227 not taken.
✗ Branch 229 not taken.
✗ Branch 230 not taken.
✗ Branch 232 not taken.
✗ Branch 233 not taken.
✗ Branch 235 not taken.
✗ Branch 236 not taken.
✗ Branch 238 not taken.
✗ Branch 239 not taken.
✓ Branch 241 taken 874 times.
✗ Branch 242 not taken.
✓ Branch 244 taken 82 times.
✗ Branch 245 not taken.
✗ Branch 247 not taken.
✗ Branch 248 not taken.
✗ Branch 250 not taken.
✗ Branch 251 not taken.
✓ Branch 253 taken 11 times.
✗ Branch 254 not taken.
✗ Branch 256 not taken.
✗ Branch 257 not taken.
✓ Branch 259 taken 437 times.
✗ Branch 260 not taken.
✗ Branch 262 not taken.
✗ Branch 263 not taken.
✗ Branch 265 not taken.
✗ Branch 266 not taken.
✓ Branch 268 taken 3195 times.
✗ Branch 269 not taken.
✓ Branch 271 taken 874 times.
✗ Branch 272 not taken.
✓ Branch 274 taken 82 times.
✗ Branch 275 not taken.
✗ Branch 277 not taken.
✗ Branch 278 not taken.
✗ Branch 280 not taken.
✗ Branch 281 not taken.
✓ Branch 283 taken 11 times.
✗ Branch 284 not taken.
✗ Branch 286 not taken.
✗ Branch 287 not taken.
✓ Branch 289 taken 437 times.
✗ Branch 290 not taken.
✗ Branch 292 not taken.
✗ Branch 293 not taken.
✗ Branch 295 not taken.
✗ Branch 296 not taken.
✓ Branch 298 taken 3195 times.
✗ Branch 299 not taken.
✓ Branch 301 taken 874 times.
✗ Branch 302 not taken.
✓ Branch 304 taken 82 times.
✗ Branch 305 not taken.
✗ Branch 307 not taken.
✗ Branch 308 not taken.
✗ Branch 310 not taken.
✗ Branch 311 not taken.
✓ Branch 313 taken 11 times.
✗ Branch 314 not taken.
✗ Branch 316 not taken.
✗ Branch 317 not taken.
✓ Branch 319 taken 437 times.
✗ Branch 320 not taken.
✗ Branch 322 not taken.
✗ Branch 323 not taken.
✗ Branch 325 not taken.
✗ Branch 326 not taken.
✓ Branch 328 taken 3195 times.
✗ Branch 329 not taken.
✓ Branch 331 taken 874 times.
✗ Branch 332 not taken.
✓ Branch 334 taken 82 times.
✗ Branch 335 not taken.
✗ Branch 337 not taken.
✗ Branch 338 not taken.
✗ Branch 340 not taken.
✗ Branch 341 not taken.
✓ Branch 343 taken 11 times.
✗ Branch 344 not taken.
✗ Branch 346 not taken.
✗ Branch 347 not taken.
✓ Branch 349 taken 437 times.
✗ Branch 350 not taken.
✗ Branch 352 not taken.
✗ Branch 353 not taken.
✗ Branch 355 not taken.
✗ Branch 356 not taken.
✓ Branch 358 taken 3195 times.
✗ Branch 359 not taken.
✓ Branch 361 taken 2622 times.
✗ Branch 362 not taken.
✗ Branch 364 not taken.
✗ Branch 365 not taken.
✓ Branch 367 taken 13572 times.
✗ Branch 368 not taken.
✗ Branch 370 not taken.
✗ Branch 371 not taken.
✗ Branch 373 not taken.
✗ Branch 374 not taken.
✓ Branch 376 taken 2622 times.
✗ Branch 377 not taken.
✗ Branch 379 not taken.
✗ Branch 380 not taken.
✗ Branch 382 not taken.
✗ Branch 383 not taken.
✓ Branch 385 taken 2622 times.
✗ Branch 386 not taken.
✓ Branch 388 taken 2622 times.
✗ Branch 389 not taken.
✓ Branch 391 taken 2622 times.
✗ Branch 392 not taken.
✓ Branch 394 taken 2622 times.
✗ Branch 395 not taken.
80858 const auto blocks = _compressor.template compress<HeaderType>(serialization);
88
89 80858 std::vector<HeaderType> header;
90
42/264
✓ Branch 2 taken 874 times.
✗ Branch 3 not taken.
✗ Branch 6 not taken.
✗ Branch 7 not taken.
✓ Branch 10 taken 82 times.
✗ Branch 11 not taken.
✗ Branch 14 not taken.
✗ Branch 15 not taken.
✓ Branch 18 taken 11 times.
✗ Branch 19 not taken.
✗ Branch 22 not taken.
✗ Branch 23 not taken.
✓ Branch 26 taken 437 times.
✗ Branch 27 not taken.
✗ Branch 30 not taken.
✗ Branch 31 not taken.
✗ Branch 34 not taken.
✗ Branch 35 not taken.
✓ Branch 38 taken 3195 times.
✗ Branch 39 not taken.
✗ Branch 42 not taken.
✗ Branch 43 not taken.
✗ Branch 46 not taken.
✗ Branch 47 not taken.
✗ Branch 50 not taken.
✗ Branch 51 not taken.
✗ Branch 54 not taken.
✗ Branch 55 not taken.
✗ Branch 58 not taken.
✗ Branch 59 not taken.
✗ Branch 62 not taken.
✗ Branch 63 not taken.
✗ Branch 66 not taken.
✗ Branch 67 not taken.
✗ Branch 70 not taken.
✗ Branch 71 not taken.
✗ Branch 74 not taken.
✗ Branch 75 not taken.
✗ Branch 78 not taken.
✗ Branch 79 not taken.
✓ Branch 82 taken 4624 times.
✗ Branch 83 not taken.
✓ Branch 86 taken 1537 times.
✗ Branch 87 not taken.
✗ Branch 90 not taken.
✗ Branch 91 not taken.
✗ Branch 94 not taken.
✗ Branch 95 not taken.
✓ Branch 98 taken 452 times.
✗ Branch 99 not taken.
✗ Branch 102 not taken.
✗ Branch 103 not taken.
✓ Branch 106 taken 2312 times.
✗ Branch 107 not taken.
✗ Branch 110 not taken.
✗ Branch 111 not taken.
✗ Branch 114 not taken.
✗ Branch 115 not taken.
✓ Branch 118 taken 15020 times.
✗ Branch 119 not taken.
✗ Branch 122 not taken.
✗ Branch 123 not taken.
✗ Branch 126 not taken.
✗ Branch 127 not taken.
✗ Branch 130 not taken.
✗ Branch 131 not taken.
✗ Branch 134 not taken.
✗ Branch 135 not taken.
✗ Branch 138 not taken.
✗ Branch 139 not taken.
✗ Branch 142 not taken.
✗ Branch 143 not taken.
✗ Branch 146 not taken.
✗ Branch 147 not taken.
✗ Branch 150 not taken.
✗ Branch 151 not taken.
✗ Branch 154 not taken.
✗ Branch 155 not taken.
✗ Branch 158 not taken.
✗ Branch 159 not taken.
✗ Branch 162 not taken.
✗ Branch 163 not taken.
✗ Branch 166 not taken.
✗ Branch 167 not taken.
✗ Branch 170 not taken.
✗ Branch 171 not taken.
✗ Branch 174 not taken.
✗ Branch 175 not taken.
✗ Branch 178 not taken.
✗ Branch 179 not taken.
✗ Branch 182 not taken.
✗ Branch 183 not taken.
✗ Branch 186 not taken.
✗ Branch 187 not taken.
✗ Branch 190 not taken.
✗ Branch 191 not taken.
✗ Branch 194 not taken.
✗ Branch 195 not taken.
✗ Branch 198 not taken.
✗ Branch 199 not taken.
✓ Branch 202 taken 880 times.
✗ Branch 203 not taken.
✓ Branch 206 taken 82 times.
✗ Branch 207 not taken.
✗ Branch 210 not taken.
✗ Branch 211 not taken.
✗ Branch 214 not taken.
✗ Branch 215 not taken.
✓ Branch 218 taken 11 times.
✗ Branch 219 not taken.
✗ Branch 222 not taken.
✗ Branch 223 not taken.
✓ Branch 226 taken 440 times.
✗ Branch 227 not taken.
✗ Branch 230 not taken.
✗ Branch 231 not taken.
✗ Branch 234 not taken.
✗ Branch 235 not taken.
✓ Branch 238 taken 3201 times.
✗ Branch 239 not taken.
✗ Branch 242 not taken.
✗ Branch 243 not taken.
✗ Branch 246 not taken.
✗ Branch 247 not taken.
✗ Branch 250 not taken.
✗ Branch 251 not taken.
✗ Branch 254 not taken.
✗ Branch 255 not taken.
✗ Branch 258 not taken.
✗ Branch 259 not taken.
✗ Branch 262 not taken.
✗ Branch 263 not taken.
✗ Branch 266 not taken.
✗ Branch 267 not taken.
✗ Branch 270 not taken.
✗ Branch 271 not taken.
✗ Branch 274 not taken.
✗ Branch 275 not taken.
✗ Branch 278 not taken.
✗ Branch 279 not taken.
✗ Branch 282 not taken.
✗ Branch 283 not taken.
✗ Branch 286 not taken.
✗ Branch 287 not taken.
✗ Branch 290 not taken.
✗ Branch 291 not taken.
✗ Branch 294 not taken.
✗ Branch 295 not taken.
✗ Branch 298 not taken.
✗ Branch 299 not taken.
✗ Branch 302 not taken.
✗ Branch 303 not taken.
✗ Branch 306 not taken.
✗ Branch 307 not taken.
✗ Branch 310 not taken.
✗ Branch 311 not taken.
✗ Branch 314 not taken.
✗ Branch 315 not taken.
✗ Branch 318 not taken.
✗ Branch 319 not taken.
✓ Branch 322 taken 874 times.
✗ Branch 323 not taken.
✓ Branch 326 taken 82 times.
✗ Branch 327 not taken.
✗ Branch 330 not taken.
✗ Branch 331 not taken.
✗ Branch 334 not taken.
✗ Branch 335 not taken.
✓ Branch 338 taken 11 times.
✗ Branch 339 not taken.
✗ Branch 342 not taken.
✗ Branch 343 not taken.
✓ Branch 346 taken 437 times.
✗ Branch 347 not taken.
✗ Branch 350 not taken.
✗ Branch 351 not taken.
✗ Branch 354 not taken.
✗ Branch 355 not taken.
✓ Branch 358 taken 3195 times.
✗ Branch 359 not taken.
✓ Branch 362 taken 874 times.
✗ Branch 363 not taken.
✓ Branch 366 taken 82 times.
✗ Branch 367 not taken.
✗ Branch 370 not taken.
✗ Branch 371 not taken.
✗ Branch 374 not taken.
✗ Branch 375 not taken.
✓ Branch 378 taken 11 times.
✗ Branch 379 not taken.
✗ Branch 382 not taken.
✗ Branch 383 not taken.
✓ Branch 386 taken 437 times.
✗ Branch 387 not taken.
✗ Branch 390 not taken.
✗ Branch 391 not taken.
✗ Branch 394 not taken.
✗ Branch 395 not taken.
✓ Branch 398 taken 3195 times.
✗ Branch 399 not taken.
✓ Branch 402 taken 874 times.
✗ Branch 403 not taken.
✓ Branch 406 taken 82 times.
✗ Branch 407 not taken.
✗ Branch 410 not taken.
✗ Branch 411 not taken.
✗ Branch 414 not taken.
✗ Branch 415 not taken.
✓ Branch 418 taken 11 times.
✗ Branch 419 not taken.
✗ Branch 422 not taken.
✗ Branch 423 not taken.
✓ Branch 426 taken 437 times.
✗ Branch 427 not taken.
✗ Branch 430 not taken.
✗ Branch 431 not taken.
✗ Branch 434 not taken.
✗ Branch 435 not taken.
✓ Branch 438 taken 3195 times.
✗ Branch 439 not taken.
✓ Branch 442 taken 874 times.
✗ Branch 443 not taken.
✓ Branch 446 taken 82 times.
✗ Branch 447 not taken.
✗ Branch 450 not taken.
✗ Branch 451 not taken.
✗ Branch 454 not taken.
✗ Branch 455 not taken.
✓ Branch 458 taken 11 times.
✗ Branch 459 not taken.
✗ Branch 462 not taken.
✗ Branch 463 not taken.
✓ Branch 466 taken 437 times.
✗ Branch 467 not taken.
✗ Branch 470 not taken.
✗ Branch 471 not taken.
✗ Branch 474 not taken.
✗ Branch 475 not taken.
✓ Branch 478 taken 3195 times.
✗ Branch 479 not taken.
✓ Branch 482 taken 2622 times.
✗ Branch 483 not taken.
✗ Branch 486 not taken.
✗ Branch 487 not taken.
✓ Branch 490 taken 13572 times.
✗ Branch 491 not taken.
✗ Branch 494 not taken.
✗ Branch 495 not taken.
✗ Branch 498 not taken.
✗ Branch 499 not taken.
✓ Branch 502 taken 2622 times.
✗ Branch 503 not taken.
✗ Branch 506 not taken.
✗ Branch 507 not taken.
✗ Branch 510 not taken.
✗ Branch 511 not taken.
✓ Branch 514 taken 2622 times.
✗ Branch 515 not taken.
✓ Branch 518 taken 2622 times.
✗ Branch 519 not taken.
✓ Branch 522 taken 2622 times.
✗ Branch 523 not taken.
✓ Branch 526 taken 2622 times.
✗ Branch 527 not taken.
80858 header.reserve(blocks.compressed_block_sizes.size() + 3);
91
42/264
✓ Branch 1 taken 874 times.
✗ Branch 2 not taken.
✗ Branch 4 not taken.
✗ Branch 5 not taken.
✓ Branch 7 taken 82 times.
✗ Branch 8 not taken.
✗ Branch 10 not taken.
✗ Branch 11 not taken.
✓ Branch 13 taken 11 times.
✗ Branch 14 not taken.
✗ Branch 16 not taken.
✗ Branch 17 not taken.
✓ Branch 19 taken 437 times.
✗ Branch 20 not taken.
✗ Branch 22 not taken.
✗ Branch 23 not taken.
✗ Branch 25 not taken.
✗ Branch 26 not taken.
✓ Branch 28 taken 3195 times.
✗ Branch 29 not taken.
✗ Branch 31 not taken.
✗ Branch 32 not taken.
✗ Branch 34 not taken.
✗ Branch 35 not taken.
✗ Branch 37 not taken.
✗ Branch 38 not taken.
✗ Branch 40 not taken.
✗ Branch 41 not taken.
✗ Branch 43 not taken.
✗ Branch 44 not taken.
✗ Branch 46 not taken.
✗ Branch 47 not taken.
✗ Branch 49 not taken.
✗ Branch 50 not taken.
✗ Branch 52 not taken.
✗ Branch 53 not taken.
✗ Branch 55 not taken.
✗ Branch 56 not taken.
✗ Branch 58 not taken.
✗ Branch 59 not taken.
✓ Branch 61 taken 4624 times.
✗ Branch 62 not taken.
✓ Branch 64 taken 1537 times.
✗ Branch 65 not taken.
✗ Branch 67 not taken.
✗ Branch 68 not taken.
✗ Branch 70 not taken.
✗ Branch 71 not taken.
✓ Branch 73 taken 452 times.
✗ Branch 74 not taken.
✗ Branch 76 not taken.
✗ Branch 77 not taken.
✓ Branch 79 taken 2312 times.
✗ Branch 80 not taken.
✗ Branch 82 not taken.
✗ Branch 83 not taken.
✗ Branch 85 not taken.
✗ Branch 86 not taken.
✓ Branch 88 taken 15020 times.
✗ Branch 89 not taken.
✗ Branch 91 not taken.
✗ Branch 92 not taken.
✗ Branch 94 not taken.
✗ Branch 95 not taken.
✗ Branch 97 not taken.
✗ Branch 98 not taken.
✗ Branch 100 not taken.
✗ Branch 101 not taken.
✗ Branch 103 not taken.
✗ Branch 104 not taken.
✗ Branch 106 not taken.
✗ Branch 107 not taken.
✗ Branch 109 not taken.
✗ Branch 110 not taken.
✗ Branch 112 not taken.
✗ Branch 113 not taken.
✗ Branch 115 not taken.
✗ Branch 116 not taken.
✗ Branch 118 not taken.
✗ Branch 119 not taken.
✗ Branch 121 not taken.
✗ Branch 122 not taken.
✗ Branch 124 not taken.
✗ Branch 125 not taken.
✗ Branch 127 not taken.
✗ Branch 128 not taken.
✗ Branch 130 not taken.
✗ Branch 131 not taken.
✗ Branch 133 not taken.
✗ Branch 134 not taken.
✗ Branch 136 not taken.
✗ Branch 137 not taken.
✗ Branch 139 not taken.
✗ Branch 140 not taken.
✗ Branch 142 not taken.
✗ Branch 143 not taken.
✗ Branch 145 not taken.
✗ Branch 146 not taken.
✗ Branch 148 not taken.
✗ Branch 149 not taken.
✓ Branch 151 taken 880 times.
✗ Branch 152 not taken.
✓ Branch 154 taken 82 times.
✗ Branch 155 not taken.
✗ Branch 157 not taken.
✗ Branch 158 not taken.
✗ Branch 160 not taken.
✗ Branch 161 not taken.
✓ Branch 163 taken 11 times.
✗ Branch 164 not taken.
✗ Branch 166 not taken.
✗ Branch 167 not taken.
✓ Branch 169 taken 440 times.
✗ Branch 170 not taken.
✗ Branch 172 not taken.
✗ Branch 173 not taken.
✗ Branch 175 not taken.
✗ Branch 176 not taken.
✓ Branch 178 taken 3201 times.
✗ Branch 179 not taken.
✗ Branch 181 not taken.
✗ Branch 182 not taken.
✗ Branch 184 not taken.
✗ Branch 185 not taken.
✗ Branch 187 not taken.
✗ Branch 188 not taken.
✗ Branch 190 not taken.
✗ Branch 191 not taken.
✗ Branch 193 not taken.
✗ Branch 194 not taken.
✗ Branch 196 not taken.
✗ Branch 197 not taken.
✗ Branch 199 not taken.
✗ Branch 200 not taken.
✗ Branch 202 not taken.
✗ Branch 203 not taken.
✗ Branch 205 not taken.
✗ Branch 206 not taken.
✗ Branch 208 not taken.
✗ Branch 209 not taken.
✗ Branch 211 not taken.
✗ Branch 212 not taken.
✗ Branch 214 not taken.
✗ Branch 215 not taken.
✗ Branch 217 not taken.
✗ Branch 218 not taken.
✗ Branch 220 not taken.
✗ Branch 221 not taken.
✗ Branch 223 not taken.
✗ Branch 224 not taken.
✗ Branch 226 not taken.
✗ Branch 227 not taken.
✗ Branch 229 not taken.
✗ Branch 230 not taken.
✗ Branch 232 not taken.
✗ Branch 233 not taken.
✗ Branch 235 not taken.
✗ Branch 236 not taken.
✗ Branch 238 not taken.
✗ Branch 239 not taken.
✓ Branch 241 taken 874 times.
✗ Branch 242 not taken.
✓ Branch 244 taken 82 times.
✗ Branch 245 not taken.
✗ Branch 247 not taken.
✗ Branch 248 not taken.
✗ Branch 250 not taken.
✗ Branch 251 not taken.
✓ Branch 253 taken 11 times.
✗ Branch 254 not taken.
✗ Branch 256 not taken.
✗ Branch 257 not taken.
✓ Branch 259 taken 437 times.
✗ Branch 260 not taken.
✗ Branch 262 not taken.
✗ Branch 263 not taken.
✗ Branch 265 not taken.
✗ Branch 266 not taken.
✓ Branch 268 taken 3195 times.
✗ Branch 269 not taken.
✓ Branch 271 taken 874 times.
✗ Branch 272 not taken.
✓ Branch 274 taken 82 times.
✗ Branch 275 not taken.
✗ Branch 277 not taken.
✗ Branch 278 not taken.
✗ Branch 280 not taken.
✗ Branch 281 not taken.
✓ Branch 283 taken 11 times.
✗ Branch 284 not taken.
✗ Branch 286 not taken.
✗ Branch 287 not taken.
✓ Branch 289 taken 437 times.
✗ Branch 290 not taken.
✗ Branch 292 not taken.
✗ Branch 293 not taken.
✗ Branch 295 not taken.
✗ Branch 296 not taken.
✓ Branch 298 taken 3195 times.
✗ Branch 299 not taken.
✓ Branch 301 taken 874 times.
✗ Branch 302 not taken.
✓ Branch 304 taken 82 times.
✗ Branch 305 not taken.
✗ Branch 307 not taken.
✗ Branch 308 not taken.
✗ Branch 310 not taken.
✗ Branch 311 not taken.
✓ Branch 313 taken 11 times.
✗ Branch 314 not taken.
✗ Branch 316 not taken.
✗ Branch 317 not taken.
✓ Branch 319 taken 437 times.
✗ Branch 320 not taken.
✗ Branch 322 not taken.
✗ Branch 323 not taken.
✗ Branch 325 not taken.
✗ Branch 326 not taken.
✓ Branch 328 taken 3195 times.
✗ Branch 329 not taken.
✓ Branch 331 taken 874 times.
✗ Branch 332 not taken.
✓ Branch 334 taken 82 times.
✗ Branch 335 not taken.
✗ Branch 337 not taken.
✗ Branch 338 not taken.
✗ Branch 340 not taken.
✗ Branch 341 not taken.
✓ Branch 343 taken 11 times.
✗ Branch 344 not taken.
✗ Branch 346 not taken.
✗ Branch 347 not taken.
✓ Branch 349 taken 437 times.
✗ Branch 350 not taken.
✗ Branch 352 not taken.
✗ Branch 353 not taken.
✗ Branch 355 not taken.
✗ Branch 356 not taken.
✓ Branch 358 taken 3195 times.
✗ Branch 359 not taken.
✓ Branch 361 taken 2622 times.
✗ Branch 362 not taken.
✗ Branch 364 not taken.
✗ Branch 365 not taken.
✓ Branch 367 taken 13572 times.
✗ Branch 368 not taken.
✗ Branch 370 not taken.
✗ Branch 371 not taken.
✗ Branch 373 not taken.
✗ Branch 374 not taken.
✓ Branch 376 taken 2622 times.
✗ Branch 377 not taken.
✗ Branch 379 not taken.
✗ Branch 380 not taken.
✗ Branch 382 not taken.
✗ Branch 383 not taken.
✓ Branch 385 taken 2622 times.
✗ Branch 386 not taken.
✓ Branch 388 taken 2622 times.
✗ Branch 389 not taken.
✓ Branch 391 taken 2622 times.
✗ Branch 392 not taken.
✓ Branch 394 taken 2622 times.
✗ Branch 395 not taken.
80858 header.push_back(blocks.number_of_blocks);
92
42/264
✓ Branch 1 taken 874 times.
✗ Branch 2 not taken.
✗ Branch 4 not taken.
✗ Branch 5 not taken.
✓ Branch 7 taken 82 times.
✗ Branch 8 not taken.
✗ Branch 10 not taken.
✗ Branch 11 not taken.
✓ Branch 13 taken 11 times.
✗ Branch 14 not taken.
✗ Branch 16 not taken.
✗ Branch 17 not taken.
✓ Branch 19 taken 437 times.
✗ Branch 20 not taken.
✗ Branch 22 not taken.
✗ Branch 23 not taken.
✗ Branch 25 not taken.
✗ Branch 26 not taken.
✓ Branch 28 taken 3195 times.
✗ Branch 29 not taken.
✗ Branch 31 not taken.
✗ Branch 32 not taken.
✗ Branch 34 not taken.
✗ Branch 35 not taken.
✗ Branch 37 not taken.
✗ Branch 38 not taken.
✗ Branch 40 not taken.
✗ Branch 41 not taken.
✗ Branch 43 not taken.
✗ Branch 44 not taken.
✗ Branch 46 not taken.
✗ Branch 47 not taken.
✗ Branch 49 not taken.
✗ Branch 50 not taken.
✗ Branch 52 not taken.
✗ Branch 53 not taken.
✗ Branch 55 not taken.
✗ Branch 56 not taken.
✗ Branch 58 not taken.
✗ Branch 59 not taken.
✓ Branch 61 taken 4624 times.
✗ Branch 62 not taken.
✓ Branch 64 taken 1537 times.
✗ Branch 65 not taken.
✗ Branch 67 not taken.
✗ Branch 68 not taken.
✗ Branch 70 not taken.
✗ Branch 71 not taken.
✓ Branch 73 taken 452 times.
✗ Branch 74 not taken.
✗ Branch 76 not taken.
✗ Branch 77 not taken.
✓ Branch 79 taken 2312 times.
✗ Branch 80 not taken.
✗ Branch 82 not taken.
✗ Branch 83 not taken.
✗ Branch 85 not taken.
✗ Branch 86 not taken.
✓ Branch 88 taken 15020 times.
✗ Branch 89 not taken.
✗ Branch 91 not taken.
✗ Branch 92 not taken.
✗ Branch 94 not taken.
✗ Branch 95 not taken.
✗ Branch 97 not taken.
✗ Branch 98 not taken.
✗ Branch 100 not taken.
✗ Branch 101 not taken.
✗ Branch 103 not taken.
✗ Branch 104 not taken.
✗ Branch 106 not taken.
✗ Branch 107 not taken.
✗ Branch 109 not taken.
✗ Branch 110 not taken.
✗ Branch 112 not taken.
✗ Branch 113 not taken.
✗ Branch 115 not taken.
✗ Branch 116 not taken.
✗ Branch 118 not taken.
✗ Branch 119 not taken.
✗ Branch 121 not taken.
✗ Branch 122 not taken.
✗ Branch 124 not taken.
✗ Branch 125 not taken.
✗ Branch 127 not taken.
✗ Branch 128 not taken.
✗ Branch 130 not taken.
✗ Branch 131 not taken.
✗ Branch 133 not taken.
✗ Branch 134 not taken.
✗ Branch 136 not taken.
✗ Branch 137 not taken.
✗ Branch 139 not taken.
✗ Branch 140 not taken.
✗ Branch 142 not taken.
✗ Branch 143 not taken.
✗ Branch 145 not taken.
✗ Branch 146 not taken.
✗ Branch 148 not taken.
✗ Branch 149 not taken.
✓ Branch 151 taken 880 times.
✗ Branch 152 not taken.
✓ Branch 154 taken 82 times.
✗ Branch 155 not taken.
✗ Branch 157 not taken.
✗ Branch 158 not taken.
✗ Branch 160 not taken.
✗ Branch 161 not taken.
✓ Branch 163 taken 11 times.
✗ Branch 164 not taken.
✗ Branch 166 not taken.
✗ Branch 167 not taken.
✓ Branch 169 taken 440 times.
✗ Branch 170 not taken.
✗ Branch 172 not taken.
✗ Branch 173 not taken.
✗ Branch 175 not taken.
✗ Branch 176 not taken.
✓ Branch 178 taken 3201 times.
✗ Branch 179 not taken.
✗ Branch 181 not taken.
✗ Branch 182 not taken.
✗ Branch 184 not taken.
✗ Branch 185 not taken.
✗ Branch 187 not taken.
✗ Branch 188 not taken.
✗ Branch 190 not taken.
✗ Branch 191 not taken.
✗ Branch 193 not taken.
✗ Branch 194 not taken.
✗ Branch 196 not taken.
✗ Branch 197 not taken.
✗ Branch 199 not taken.
✗ Branch 200 not taken.
✗ Branch 202 not taken.
✗ Branch 203 not taken.
✗ Branch 205 not taken.
✗ Branch 206 not taken.
✗ Branch 208 not taken.
✗ Branch 209 not taken.
✗ Branch 211 not taken.
✗ Branch 212 not taken.
✗ Branch 214 not taken.
✗ Branch 215 not taken.
✗ Branch 217 not taken.
✗ Branch 218 not taken.
✗ Branch 220 not taken.
✗ Branch 221 not taken.
✗ Branch 223 not taken.
✗ Branch 224 not taken.
✗ Branch 226 not taken.
✗ Branch 227 not taken.
✗ Branch 229 not taken.
✗ Branch 230 not taken.
✗ Branch 232 not taken.
✗ Branch 233 not taken.
✗ Branch 235 not taken.
✗ Branch 236 not taken.
✗ Branch 238 not taken.
✗ Branch 239 not taken.
✓ Branch 241 taken 874 times.
✗ Branch 242 not taken.
✓ Branch 244 taken 82 times.
✗ Branch 245 not taken.
✗ Branch 247 not taken.
✗ Branch 248 not taken.
✗ Branch 250 not taken.
✗ Branch 251 not taken.
✓ Branch 253 taken 11 times.
✗ Branch 254 not taken.
✗ Branch 256 not taken.
✗ Branch 257 not taken.
✓ Branch 259 taken 437 times.
✗ Branch 260 not taken.
✗ Branch 262 not taken.
✗ Branch 263 not taken.
✗ Branch 265 not taken.
✗ Branch 266 not taken.
✓ Branch 268 taken 3195 times.
✗ Branch 269 not taken.
✓ Branch 271 taken 874 times.
✗ Branch 272 not taken.
✓ Branch 274 taken 82 times.
✗ Branch 275 not taken.
✗ Branch 277 not taken.
✗ Branch 278 not taken.
✗ Branch 280 not taken.
✗ Branch 281 not taken.
✓ Branch 283 taken 11 times.
✗ Branch 284 not taken.
✗ Branch 286 not taken.
✗ Branch 287 not taken.
✓ Branch 289 taken 437 times.
✗ Branch 290 not taken.
✗ Branch 292 not taken.
✗ Branch 293 not taken.
✗ Branch 295 not taken.
✗ Branch 296 not taken.
✓ Branch 298 taken 3195 times.
✗ Branch 299 not taken.
✓ Branch 301 taken 874 times.
✗ Branch 302 not taken.
✓ Branch 304 taken 82 times.
✗ Branch 305 not taken.
✗ Branch 307 not taken.
✗ Branch 308 not taken.
✗ Branch 310 not taken.
✗ Branch 311 not taken.
✓ Branch 313 taken 11 times.
✗ Branch 314 not taken.
✗ Branch 316 not taken.
✗ Branch 317 not taken.
✓ Branch 319 taken 437 times.
✗ Branch 320 not taken.
✗ Branch 322 not taken.
✗ Branch 323 not taken.
✗ Branch 325 not taken.
✗ Branch 326 not taken.
✓ Branch 328 taken 3195 times.
✗ Branch 329 not taken.
✓ Branch 331 taken 874 times.
✗ Branch 332 not taken.
✓ Branch 334 taken 82 times.
✗ Branch 335 not taken.
✗ Branch 337 not taken.
✗ Branch 338 not taken.
✗ Branch 340 not taken.
✗ Branch 341 not taken.
✓ Branch 343 taken 11 times.
✗ Branch 344 not taken.
✗ Branch 346 not taken.
✗ Branch 347 not taken.
✓ Branch 349 taken 437 times.
✗ Branch 350 not taken.
✗ Branch 352 not taken.
✗ Branch 353 not taken.
✗ Branch 355 not taken.
✗ Branch 356 not taken.
✓ Branch 358 taken 3195 times.
✗ Branch 359 not taken.
✓ Branch 361 taken 2622 times.
✗ Branch 362 not taken.
✗ Branch 364 not taken.
✗ Branch 365 not taken.
✓ Branch 367 taken 13572 times.
✗ Branch 368 not taken.
✗ Branch 370 not taken.
✗ Branch 371 not taken.
✗ Branch 373 not taken.
✗ Branch 374 not taken.
✓ Branch 376 taken 2622 times.
✗ Branch 377 not taken.
✗ Branch 379 not taken.
✗ Branch 380 not taken.
✗ Branch 382 not taken.
✗ Branch 383 not taken.
✓ Branch 385 taken 2622 times.
✗ Branch 386 not taken.
✓ Branch 388 taken 2622 times.
✗ Branch 389 not taken.
✓ Branch 391 taken 2622 times.
✗ Branch 392 not taken.
✓ Branch 394 taken 2622 times.
✗ Branch 395 not taken.
80858 header.push_back(blocks.block_size);
93
42/264
✓ Branch 1 taken 874 times.
✗ Branch 2 not taken.
✗ Branch 4 not taken.
✗ Branch 5 not taken.
✓ Branch 7 taken 82 times.
✗ Branch 8 not taken.
✗ Branch 10 not taken.
✗ Branch 11 not taken.
✓ Branch 13 taken 11 times.
✗ Branch 14 not taken.
✗ Branch 16 not taken.
✗ Branch 17 not taken.
✓ Branch 19 taken 437 times.
✗ Branch 20 not taken.
✗ Branch 22 not taken.
✗ Branch 23 not taken.
✗ Branch 25 not taken.
✗ Branch 26 not taken.
✓ Branch 28 taken 3195 times.
✗ Branch 29 not taken.
✗ Branch 31 not taken.
✗ Branch 32 not taken.
✗ Branch 34 not taken.
✗ Branch 35 not taken.
✗ Branch 37 not taken.
✗ Branch 38 not taken.
✗ Branch 40 not taken.
✗ Branch 41 not taken.
✗ Branch 43 not taken.
✗ Branch 44 not taken.
✗ Branch 46 not taken.
✗ Branch 47 not taken.
✗ Branch 49 not taken.
✗ Branch 50 not taken.
✗ Branch 52 not taken.
✗ Branch 53 not taken.
✗ Branch 55 not taken.
✗ Branch 56 not taken.
✗ Branch 58 not taken.
✗ Branch 59 not taken.
✓ Branch 61 taken 4624 times.
✗ Branch 62 not taken.
✓ Branch 64 taken 1537 times.
✗ Branch 65 not taken.
✗ Branch 67 not taken.
✗ Branch 68 not taken.
✗ Branch 70 not taken.
✗ Branch 71 not taken.
✓ Branch 73 taken 452 times.
✗ Branch 74 not taken.
✗ Branch 76 not taken.
✗ Branch 77 not taken.
✓ Branch 79 taken 2312 times.
✗ Branch 80 not taken.
✗ Branch 82 not taken.
✗ Branch 83 not taken.
✗ Branch 85 not taken.
✗ Branch 86 not taken.
✓ Branch 88 taken 15020 times.
✗ Branch 89 not taken.
✗ Branch 91 not taken.
✗ Branch 92 not taken.
✗ Branch 94 not taken.
✗ Branch 95 not taken.
✗ Branch 97 not taken.
✗ Branch 98 not taken.
✗ Branch 100 not taken.
✗ Branch 101 not taken.
✗ Branch 103 not taken.
✗ Branch 104 not taken.
✗ Branch 106 not taken.
✗ Branch 107 not taken.
✗ Branch 109 not taken.
✗ Branch 110 not taken.
✗ Branch 112 not taken.
✗ Branch 113 not taken.
✗ Branch 115 not taken.
✗ Branch 116 not taken.
✗ Branch 118 not taken.
✗ Branch 119 not taken.
✗ Branch 121 not taken.
✗ Branch 122 not taken.
✗ Branch 124 not taken.
✗ Branch 125 not taken.
✗ Branch 127 not taken.
✗ Branch 128 not taken.
✗ Branch 130 not taken.
✗ Branch 131 not taken.
✗ Branch 133 not taken.
✗ Branch 134 not taken.
✗ Branch 136 not taken.
✗ Branch 137 not taken.
✗ Branch 139 not taken.
✗ Branch 140 not taken.
✗ Branch 142 not taken.
✗ Branch 143 not taken.
✗ Branch 145 not taken.
✗ Branch 146 not taken.
✗ Branch 148 not taken.
✗ Branch 149 not taken.
✓ Branch 151 taken 880 times.
✗ Branch 152 not taken.
✓ Branch 154 taken 82 times.
✗ Branch 155 not taken.
✗ Branch 157 not taken.
✗ Branch 158 not taken.
✗ Branch 160 not taken.
✗ Branch 161 not taken.
✓ Branch 163 taken 11 times.
✗ Branch 164 not taken.
✗ Branch 166 not taken.
✗ Branch 167 not taken.
✓ Branch 169 taken 440 times.
✗ Branch 170 not taken.
✗ Branch 172 not taken.
✗ Branch 173 not taken.
✗ Branch 175 not taken.
✗ Branch 176 not taken.
✓ Branch 178 taken 3201 times.
✗ Branch 179 not taken.
✗ Branch 181 not taken.
✗ Branch 182 not taken.
✗ Branch 184 not taken.
✗ Branch 185 not taken.
✗ Branch 187 not taken.
✗ Branch 188 not taken.
✗ Branch 190 not taken.
✗ Branch 191 not taken.
✗ Branch 193 not taken.
✗ Branch 194 not taken.
✗ Branch 196 not taken.
✗ Branch 197 not taken.
✗ Branch 199 not taken.
✗ Branch 200 not taken.
✗ Branch 202 not taken.
✗ Branch 203 not taken.
✗ Branch 205 not taken.
✗ Branch 206 not taken.
✗ Branch 208 not taken.
✗ Branch 209 not taken.
✗ Branch 211 not taken.
✗ Branch 212 not taken.
✗ Branch 214 not taken.
✗ Branch 215 not taken.
✗ Branch 217 not taken.
✗ Branch 218 not taken.
✗ Branch 220 not taken.
✗ Branch 221 not taken.
✗ Branch 223 not taken.
✗ Branch 224 not taken.
✗ Branch 226 not taken.
✗ Branch 227 not taken.
✗ Branch 229 not taken.
✗ Branch 230 not taken.
✗ Branch 232 not taken.
✗ Branch 233 not taken.
✗ Branch 235 not taken.
✗ Branch 236 not taken.
✗ Branch 238 not taken.
✗ Branch 239 not taken.
✓ Branch 241 taken 874 times.
✗ Branch 242 not taken.
✓ Branch 244 taken 82 times.
✗ Branch 245 not taken.
✗ Branch 247 not taken.
✗ Branch 248 not taken.
✗ Branch 250 not taken.
✗ Branch 251 not taken.
✓ Branch 253 taken 11 times.
✗ Branch 254 not taken.
✗ Branch 256 not taken.
✗ Branch 257 not taken.
✓ Branch 259 taken 437 times.
✗ Branch 260 not taken.
✗ Branch 262 not taken.
✗ Branch 263 not taken.
✗ Branch 265 not taken.
✗ Branch 266 not taken.
✓ Branch 268 taken 3195 times.
✗ Branch 269 not taken.
✓ Branch 271 taken 874 times.
✗ Branch 272 not taken.
✓ Branch 274 taken 82 times.
✗ Branch 275 not taken.
✗ Branch 277 not taken.
✗ Branch 278 not taken.
✗ Branch 280 not taken.
✗ Branch 281 not taken.
✓ Branch 283 taken 11 times.
✗ Branch 284 not taken.
✗ Branch 286 not taken.
✗ Branch 287 not taken.
✓ Branch 289 taken 437 times.
✗ Branch 290 not taken.
✗ Branch 292 not taken.
✗ Branch 293 not taken.
✗ Branch 295 not taken.
✗ Branch 296 not taken.
✓ Branch 298 taken 3195 times.
✗ Branch 299 not taken.
✓ Branch 301 taken 874 times.
✗ Branch 302 not taken.
✓ Branch 304 taken 82 times.
✗ Branch 305 not taken.
✗ Branch 307 not taken.
✗ Branch 308 not taken.
✗ Branch 310 not taken.
✗ Branch 311 not taken.
✓ Branch 313 taken 11 times.
✗ Branch 314 not taken.
✗ Branch 316 not taken.
✗ Branch 317 not taken.
✓ Branch 319 taken 437 times.
✗ Branch 320 not taken.
✗ Branch 322 not taken.
✗ Branch 323 not taken.
✗ Branch 325 not taken.
✗ Branch 326 not taken.
✓ Branch 328 taken 3195 times.
✗ Branch 329 not taken.
✓ Branch 331 taken 874 times.
✗ Branch 332 not taken.
✓ Branch 334 taken 82 times.
✗ Branch 335 not taken.
✗ Branch 337 not taken.
✗ Branch 338 not taken.
✗ Branch 340 not taken.
✗ Branch 341 not taken.
✓ Branch 343 taken 11 times.
✗ Branch 344 not taken.
✗ Branch 346 not taken.
✗ Branch 347 not taken.
✓ Branch 349 taken 437 times.
✗ Branch 350 not taken.
✗ Branch 352 not taken.
✗ Branch 353 not taken.
✗ Branch 355 not taken.
✗ Branch 356 not taken.
✓ Branch 358 taken 3195 times.
✗ Branch 359 not taken.
✓ Branch 361 taken 2622 times.
✗ Branch 362 not taken.
✗ Branch 364 not taken.
✗ Branch 365 not taken.
✓ Branch 367 taken 13572 times.
✗ Branch 368 not taken.
✗ Branch 370 not taken.
✗ Branch 371 not taken.
✗ Branch 373 not taken.
✗ Branch 374 not taken.
✓ Branch 376 taken 2622 times.
✗ Branch 377 not taken.
✗ Branch 379 not taken.
✗ Branch 380 not taken.
✗ Branch 382 not taken.
✗ Branch 383 not taken.
✓ Branch 385 taken 2622 times.
✗ Branch 386 not taken.
✓ Branch 388 taken 2622 times.
✗ Branch 389 not taken.
✓ Branch 391 taken 2622 times.
✗ Branch 392 not taken.
✓ Branch 394 taken 2622 times.
✗ Branch 395 not taken.
80858 header.push_back(blocks.residual_block_size);
94
84/528
✓ Branch 1 taken 874 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 874 times.
✗ Branch 5 not taken.
✗ Branch 7 not taken.
✗ Branch 8 not taken.
✗ Branch 10 not taken.
✗ Branch 11 not taken.
✓ Branch 13 taken 82 times.
✗ Branch 14 not taken.
✓ Branch 16 taken 82 times.
✗ Branch 17 not taken.
✗ Branch 19 not taken.
✗ Branch 20 not taken.
✗ Branch 22 not taken.
✗ Branch 23 not taken.
✓ Branch 25 taken 11 times.
✗ Branch 26 not taken.
✓ Branch 28 taken 11 times.
✗ Branch 29 not taken.
✗ Branch 31 not taken.
✗ Branch 32 not taken.
✗ Branch 34 not taken.
✗ Branch 35 not taken.
✓ Branch 37 taken 437 times.
✗ Branch 38 not taken.
✓ Branch 40 taken 437 times.
✗ Branch 41 not taken.
✗ Branch 43 not taken.
✗ Branch 44 not taken.
✗ Branch 46 not taken.
✗ Branch 47 not taken.
✗ Branch 49 not taken.
✗ Branch 50 not taken.
✗ Branch 52 not taken.
✗ Branch 53 not taken.
✓ Branch 55 taken 3195 times.
✗ Branch 56 not taken.
✓ Branch 58 taken 3195 times.
✗ Branch 59 not taken.
✗ Branch 61 not taken.
✗ Branch 62 not taken.
✗ Branch 64 not taken.
✗ Branch 65 not taken.
✗ Branch 67 not taken.
✗ Branch 68 not taken.
✗ Branch 70 not taken.
✗ Branch 71 not taken.
✗ Branch 73 not taken.
✗ Branch 74 not taken.
✗ Branch 76 not taken.
✗ Branch 77 not taken.
✗ Branch 79 not taken.
✗ Branch 80 not taken.
✗ Branch 82 not taken.
✗ Branch 83 not taken.
✗ Branch 85 not taken.
✗ Branch 86 not taken.
✗ Branch 88 not taken.
✗ Branch 89 not taken.
✗ Branch 91 not taken.
✗ Branch 92 not taken.
✗ Branch 94 not taken.
✗ Branch 95 not taken.
✗ Branch 97 not taken.
✗ Branch 98 not taken.
✗ Branch 100 not taken.
✗ Branch 101 not taken.
✗ Branch 103 not taken.
✗ Branch 104 not taken.
✗ Branch 106 not taken.
✗ Branch 107 not taken.
✗ Branch 109 not taken.
✗ Branch 110 not taken.
✗ Branch 112 not taken.
✗ Branch 113 not taken.
✗ Branch 115 not taken.
✗ Branch 116 not taken.
✗ Branch 118 not taken.
✗ Branch 119 not taken.
✓ Branch 121 taken 4624 times.
✗ Branch 122 not taken.
✓ Branch 124 taken 4624 times.
✗ Branch 125 not taken.
✓ Branch 127 taken 1537 times.
✗ Branch 128 not taken.
✓ Branch 130 taken 1537 times.
✗ Branch 131 not taken.
✗ Branch 133 not taken.
✗ Branch 134 not taken.
✗ Branch 136 not taken.
✗ Branch 137 not taken.
✗ Branch 139 not taken.
✗ Branch 140 not taken.
✗ Branch 142 not taken.
✗ Branch 143 not taken.
✓ Branch 145 taken 452 times.
✗ Branch 146 not taken.
✓ Branch 148 taken 452 times.
✗ Branch 149 not taken.
✗ Branch 151 not taken.
✗ Branch 152 not taken.
✗ Branch 154 not taken.
✗ Branch 155 not taken.
✓ Branch 157 taken 2312 times.
✗ Branch 158 not taken.
✓ Branch 160 taken 2312 times.
✗ Branch 161 not taken.
✗ Branch 163 not taken.
✗ Branch 164 not taken.
✗ Branch 166 not taken.
✗ Branch 167 not taken.
✗ Branch 169 not taken.
✗ Branch 170 not taken.
✗ Branch 172 not taken.
✗ Branch 173 not taken.
✓ Branch 175 taken 15020 times.
✗ Branch 176 not taken.
✓ Branch 178 taken 15020 times.
✗ Branch 179 not taken.
✗ Branch 181 not taken.
✗ Branch 182 not taken.
✗ Branch 184 not taken.
✗ Branch 185 not taken.
✗ Branch 187 not taken.
✗ Branch 188 not taken.
✗ Branch 190 not taken.
✗ Branch 191 not taken.
✗ Branch 193 not taken.
✗ Branch 194 not taken.
✗ Branch 196 not taken.
✗ Branch 197 not taken.
✗ Branch 199 not taken.
✗ Branch 200 not taken.
✗ Branch 202 not taken.
✗ Branch 203 not taken.
✗ Branch 205 not taken.
✗ Branch 206 not taken.
✗ Branch 208 not taken.
✗ Branch 209 not taken.
✗ Branch 211 not taken.
✗ Branch 212 not taken.
✗ Branch 214 not taken.
✗ Branch 215 not taken.
✗ Branch 217 not taken.
✗ Branch 218 not taken.
✗ Branch 220 not taken.
✗ Branch 221 not taken.
✗ Branch 223 not taken.
✗ Branch 224 not taken.
✗ Branch 226 not taken.
✗ Branch 227 not taken.
✗ Branch 229 not taken.
✗ Branch 230 not taken.
✗ Branch 232 not taken.
✗ Branch 233 not taken.
✗ Branch 235 not taken.
✗ Branch 236 not taken.
✗ Branch 238 not taken.
✗ Branch 239 not taken.
✗ Branch 241 not taken.
✗ Branch 242 not taken.
✗ Branch 244 not taken.
✗ Branch 245 not taken.
✗ Branch 247 not taken.
✗ Branch 248 not taken.
✗ Branch 250 not taken.
✗ Branch 251 not taken.
✗ Branch 253 not taken.
✗ Branch 254 not taken.
✗ Branch 256 not taken.
✗ Branch 257 not taken.
✗ Branch 259 not taken.
✗ Branch 260 not taken.
✗ Branch 262 not taken.
✗ Branch 263 not taken.
✗ Branch 265 not taken.
✗ Branch 266 not taken.
✗ Branch 268 not taken.
✗ Branch 269 not taken.
✗ Branch 271 not taken.
✗ Branch 272 not taken.
✗ Branch 274 not taken.
✗ Branch 275 not taken.
✗ Branch 277 not taken.
✗ Branch 278 not taken.
✗ Branch 280 not taken.
✗ Branch 281 not taken.
✗ Branch 283 not taken.
✗ Branch 284 not taken.
✗ Branch 286 not taken.
✗ Branch 287 not taken.
✗ Branch 289 not taken.
✗ Branch 290 not taken.
✗ Branch 292 not taken.
✗ Branch 293 not taken.
✗ Branch 295 not taken.
✗ Branch 296 not taken.
✗ Branch 298 not taken.
✗ Branch 299 not taken.
✓ Branch 301 taken 880 times.
✗ Branch 302 not taken.
✓ Branch 304 taken 880 times.
✗ Branch 305 not taken.
✓ Branch 307 taken 82 times.
✗ Branch 308 not taken.
✓ Branch 310 taken 82 times.
✗ Branch 311 not taken.
✗ Branch 313 not taken.
✗ Branch 314 not taken.
✗ Branch 316 not taken.
✗ Branch 317 not taken.
✗ Branch 319 not taken.
✗ Branch 320 not taken.
✗ Branch 322 not taken.
✗ Branch 323 not taken.
✓ Branch 325 taken 11 times.
✗ Branch 326 not taken.
✓ Branch 328 taken 11 times.
✗ Branch 329 not taken.
✗ Branch 331 not taken.
✗ Branch 332 not taken.
✗ Branch 334 not taken.
✗ Branch 335 not taken.
✓ Branch 337 taken 440 times.
✗ Branch 338 not taken.
✓ Branch 340 taken 440 times.
✗ Branch 341 not taken.
✗ Branch 343 not taken.
✗ Branch 344 not taken.
✗ Branch 346 not taken.
✗ Branch 347 not taken.
✗ Branch 349 not taken.
✗ Branch 350 not taken.
✗ Branch 352 not taken.
✗ Branch 353 not taken.
✓ Branch 355 taken 3201 times.
✗ Branch 356 not taken.
✓ Branch 358 taken 3201 times.
✗ Branch 359 not taken.
✗ Branch 361 not taken.
✗ Branch 362 not taken.
✗ Branch 364 not taken.
✗ Branch 365 not taken.
✗ Branch 367 not taken.
✗ Branch 368 not taken.
✗ Branch 370 not taken.
✗ Branch 371 not taken.
✗ Branch 373 not taken.
✗ Branch 374 not taken.
✗ Branch 376 not taken.
✗ Branch 377 not taken.
✗ Branch 379 not taken.
✗ Branch 380 not taken.
✗ Branch 382 not taken.
✗ Branch 383 not taken.
✗ Branch 385 not taken.
✗ Branch 386 not taken.
✗ Branch 388 not taken.
✗ Branch 389 not taken.
✗ Branch 391 not taken.
✗ Branch 392 not taken.
✗ Branch 394 not taken.
✗ Branch 395 not taken.
✗ Branch 397 not taken.
✗ Branch 398 not taken.
✗ Branch 400 not taken.
✗ Branch 401 not taken.
✗ Branch 403 not taken.
✗ Branch 404 not taken.
✗ Branch 406 not taken.
✗ Branch 407 not taken.
✗ Branch 409 not taken.
✗ Branch 410 not taken.
✗ Branch 412 not taken.
✗ Branch 413 not taken.
✗ Branch 415 not taken.
✗ Branch 416 not taken.
✗ Branch 418 not taken.
✗ Branch 419 not taken.
✗ Branch 421 not taken.
✗ Branch 422 not taken.
✗ Branch 424 not taken.
✗ Branch 425 not taken.
✗ Branch 427 not taken.
✗ Branch 428 not taken.
✗ Branch 430 not taken.
✗ Branch 431 not taken.
✗ Branch 433 not taken.
✗ Branch 434 not taken.
✗ Branch 436 not taken.
✗ Branch 437 not taken.
✗ Branch 439 not taken.
✗ Branch 440 not taken.
✗ Branch 442 not taken.
✗ Branch 443 not taken.
✗ Branch 445 not taken.
✗ Branch 446 not taken.
✗ Branch 448 not taken.
✗ Branch 449 not taken.
✗ Branch 451 not taken.
✗ Branch 452 not taken.
✗ Branch 454 not taken.
✗ Branch 455 not taken.
✗ Branch 457 not taken.
✗ Branch 458 not taken.
✗ Branch 460 not taken.
✗ Branch 461 not taken.
✗ Branch 463 not taken.
✗ Branch 464 not taken.
✗ Branch 466 not taken.
✗ Branch 467 not taken.
✗ Branch 469 not taken.
✗ Branch 470 not taken.
✗ Branch 472 not taken.
✗ Branch 473 not taken.
✗ Branch 475 not taken.
✗ Branch 476 not taken.
✗ Branch 478 not taken.
✗ Branch 479 not taken.
✓ Branch 481 taken 874 times.
✗ Branch 482 not taken.
✓ Branch 484 taken 874 times.
✗ Branch 485 not taken.
✓ Branch 487 taken 82 times.
✗ Branch 488 not taken.
✓ Branch 490 taken 82 times.
✗ Branch 491 not taken.
✗ Branch 493 not taken.
✗ Branch 494 not taken.
✗ Branch 496 not taken.
✗ Branch 497 not taken.
✗ Branch 499 not taken.
✗ Branch 500 not taken.
✗ Branch 502 not taken.
✗ Branch 503 not taken.
✓ Branch 505 taken 11 times.
✗ Branch 506 not taken.
✓ Branch 508 taken 11 times.
✗ Branch 509 not taken.
✗ Branch 511 not taken.
✗ Branch 512 not taken.
✗ Branch 514 not taken.
✗ Branch 515 not taken.
✓ Branch 517 taken 437 times.
✗ Branch 518 not taken.
✓ Branch 520 taken 437 times.
✗ Branch 521 not taken.
✗ Branch 523 not taken.
✗ Branch 524 not taken.
✗ Branch 526 not taken.
✗ Branch 527 not taken.
✗ Branch 529 not taken.
✗ Branch 530 not taken.
✗ Branch 532 not taken.
✗ Branch 533 not taken.
✓ Branch 535 taken 3195 times.
✗ Branch 536 not taken.
✓ Branch 538 taken 3195 times.
✗ Branch 539 not taken.
✓ Branch 541 taken 874 times.
✗ Branch 542 not taken.
✓ Branch 544 taken 874 times.
✗ Branch 545 not taken.
✓ Branch 547 taken 82 times.
✗ Branch 548 not taken.
✓ Branch 550 taken 82 times.
✗ Branch 551 not taken.
✗ Branch 553 not taken.
✗ Branch 554 not taken.
✗ Branch 556 not taken.
✗ Branch 557 not taken.
✗ Branch 559 not taken.
✗ Branch 560 not taken.
✗ Branch 562 not taken.
✗ Branch 563 not taken.
✓ Branch 565 taken 11 times.
✗ Branch 566 not taken.
✓ Branch 568 taken 11 times.
✗ Branch 569 not taken.
✗ Branch 571 not taken.
✗ Branch 572 not taken.
✗ Branch 574 not taken.
✗ Branch 575 not taken.
✓ Branch 577 taken 437 times.
✗ Branch 578 not taken.
✓ Branch 580 taken 437 times.
✗ Branch 581 not taken.
✗ Branch 583 not taken.
✗ Branch 584 not taken.
✗ Branch 586 not taken.
✗ Branch 587 not taken.
✗ Branch 589 not taken.
✗ Branch 590 not taken.
✗ Branch 592 not taken.
✗ Branch 593 not taken.
✓ Branch 595 taken 3195 times.
✗ Branch 596 not taken.
✓ Branch 598 taken 3195 times.
✗ Branch 599 not taken.
✓ Branch 601 taken 874 times.
✗ Branch 602 not taken.
✓ Branch 604 taken 874 times.
✗ Branch 605 not taken.
✓ Branch 607 taken 82 times.
✗ Branch 608 not taken.
✓ Branch 610 taken 82 times.
✗ Branch 611 not taken.
✗ Branch 613 not taken.
✗ Branch 614 not taken.
✗ Branch 616 not taken.
✗ Branch 617 not taken.
✗ Branch 619 not taken.
✗ Branch 620 not taken.
✗ Branch 622 not taken.
✗ Branch 623 not taken.
✓ Branch 625 taken 11 times.
✗ Branch 626 not taken.
✓ Branch 628 taken 11 times.
✗ Branch 629 not taken.
✗ Branch 631 not taken.
✗ Branch 632 not taken.
✗ Branch 634 not taken.
✗ Branch 635 not taken.
✓ Branch 637 taken 437 times.
✗ Branch 638 not taken.
✓ Branch 640 taken 437 times.
✗ Branch 641 not taken.
✗ Branch 643 not taken.
✗ Branch 644 not taken.
✗ Branch 646 not taken.
✗ Branch 647 not taken.
✗ Branch 649 not taken.
✗ Branch 650 not taken.
✗ Branch 652 not taken.
✗ Branch 653 not taken.
✓ Branch 655 taken 3195 times.
✗ Branch 656 not taken.
✓ Branch 658 taken 3195 times.
✗ Branch 659 not taken.
✓ Branch 661 taken 874 times.
✗ Branch 662 not taken.
✓ Branch 664 taken 874 times.
✗ Branch 665 not taken.
✓ Branch 667 taken 82 times.
✗ Branch 668 not taken.
✓ Branch 670 taken 82 times.
✗ Branch 671 not taken.
✗ Branch 673 not taken.
✗ Branch 674 not taken.
✗ Branch 676 not taken.
✗ Branch 677 not taken.
✗ Branch 679 not taken.
✗ Branch 680 not taken.
✗ Branch 682 not taken.
✗ Branch 683 not taken.
✓ Branch 685 taken 11 times.
✗ Branch 686 not taken.
✓ Branch 688 taken 11 times.
✗ Branch 689 not taken.
✗ Branch 691 not taken.
✗ Branch 692 not taken.
✗ Branch 694 not taken.
✗ Branch 695 not taken.
✓ Branch 697 taken 437 times.
✗ Branch 698 not taken.
✓ Branch 700 taken 437 times.
✗ Branch 701 not taken.
✗ Branch 703 not taken.
✗ Branch 704 not taken.
✗ Branch 706 not taken.
✗ Branch 707 not taken.
✗ Branch 709 not taken.
✗ Branch 710 not taken.
✗ Branch 712 not taken.
✗ Branch 713 not taken.
✓ Branch 715 taken 3195 times.
✗ Branch 716 not taken.
✓ Branch 718 taken 3195 times.
✗ Branch 719 not taken.
✓ Branch 721 taken 2622 times.
✗ Branch 722 not taken.
✓ Branch 724 taken 2622 times.
✗ Branch 725 not taken.
✗ Branch 727 not taken.
✗ Branch 728 not taken.
✗ Branch 730 not taken.
✗ Branch 731 not taken.
✓ Branch 733 taken 13572 times.
✗ Branch 734 not taken.
✓ Branch 736 taken 13572 times.
✗ Branch 737 not taken.
✗ Branch 739 not taken.
✗ Branch 740 not taken.
✗ Branch 742 not taken.
✗ Branch 743 not taken.
✗ Branch 745 not taken.
✗ Branch 746 not taken.
✗ Branch 748 not taken.
✗ Branch 749 not taken.
✓ Branch 751 taken 2622 times.
✗ Branch 752 not taken.
✓ Branch 754 taken 2622 times.
✗ Branch 755 not taken.
✗ Branch 757 not taken.
✗ Branch 758 not taken.
✗ Branch 760 not taken.
✗ Branch 761 not taken.
✗ Branch 763 not taken.
✗ Branch 764 not taken.
✗ Branch 766 not taken.
✗ Branch 767 not taken.
✓ Branch 769 taken 2622 times.
✗ Branch 770 not taken.
✓ Branch 772 taken 2622 times.
✗ Branch 773 not taken.
✓ Branch 775 taken 2622 times.
✗ Branch 776 not taken.
✓ Branch 778 taken 2622 times.
✗ Branch 779 not taken.
✓ Branch 781 taken 2622 times.
✗ Branch 782 not taken.
✓ Branch 784 taken 2622 times.
✗ Branch 785 not taken.
✓ Branch 787 taken 2622 times.
✗ Branch 788 not taken.
✓ Branch 790 taken 2622 times.
✗ Branch 791 not taken.
80858 std::ranges::copy(blocks.compressed_block_sizes, std::back_inserter(header));
95
42/264
✓ Branch 2 taken 874 times.
✗ Branch 3 not taken.
✗ Branch 6 not taken.
✗ Branch 7 not taken.
✓ Branch 10 taken 82 times.
✗ Branch 11 not taken.
✗ Branch 14 not taken.
✗ Branch 15 not taken.
✓ Branch 18 taken 11 times.
✗ Branch 19 not taken.
✗ Branch 22 not taken.
✗ Branch 23 not taken.
✓ Branch 26 taken 437 times.
✗ Branch 27 not taken.
✗ Branch 30 not taken.
✗ Branch 31 not taken.
✗ Branch 34 not taken.
✗ Branch 35 not taken.
✓ Branch 38 taken 3195 times.
✗ Branch 39 not taken.
✗ Branch 42 not taken.
✗ Branch 43 not taken.
✗ Branch 46 not taken.
✗ Branch 47 not taken.
✗ Branch 50 not taken.
✗ Branch 51 not taken.
✗ Branch 54 not taken.
✗ Branch 55 not taken.
✗ Branch 58 not taken.
✗ Branch 59 not taken.
✗ Branch 62 not taken.
✗ Branch 63 not taken.
✗ Branch 66 not taken.
✗ Branch 67 not taken.
✗ Branch 70 not taken.
✗ Branch 71 not taken.
✗ Branch 74 not taken.
✗ Branch 75 not taken.
✗ Branch 78 not taken.
✗ Branch 79 not taken.
✓ Branch 82 taken 4624 times.
✗ Branch 83 not taken.
✓ Branch 86 taken 1537 times.
✗ Branch 87 not taken.
✗ Branch 90 not taken.
✗ Branch 91 not taken.
✗ Branch 94 not taken.
✗ Branch 95 not taken.
✓ Branch 98 taken 452 times.
✗ Branch 99 not taken.
✗ Branch 102 not taken.
✗ Branch 103 not taken.
✓ Branch 106 taken 2312 times.
✗ Branch 107 not taken.
✗ Branch 110 not taken.
✗ Branch 111 not taken.
✗ Branch 114 not taken.
✗ Branch 115 not taken.
✓ Branch 118 taken 15020 times.
✗ Branch 119 not taken.
✗ Branch 122 not taken.
✗ Branch 123 not taken.
✗ Branch 126 not taken.
✗ Branch 127 not taken.
✗ Branch 130 not taken.
✗ Branch 131 not taken.
✗ Branch 134 not taken.
✗ Branch 135 not taken.
✗ Branch 138 not taken.
✗ Branch 139 not taken.
✗ Branch 142 not taken.
✗ Branch 143 not taken.
✗ Branch 146 not taken.
✗ Branch 147 not taken.
✗ Branch 150 not taken.
✗ Branch 151 not taken.
✗ Branch 154 not taken.
✗ Branch 155 not taken.
✗ Branch 158 not taken.
✗ Branch 159 not taken.
✗ Branch 162 not taken.
✗ Branch 163 not taken.
✗ Branch 166 not taken.
✗ Branch 167 not taken.
✗ Branch 170 not taken.
✗ Branch 171 not taken.
✗ Branch 174 not taken.
✗ Branch 175 not taken.
✗ Branch 178 not taken.
✗ Branch 179 not taken.
✗ Branch 182 not taken.
✗ Branch 183 not taken.
✗ Branch 186 not taken.
✗ Branch 187 not taken.
✗ Branch 190 not taken.
✗ Branch 191 not taken.
✗ Branch 194 not taken.
✗ Branch 195 not taken.
✗ Branch 198 not taken.
✗ Branch 199 not taken.
✓ Branch 202 taken 880 times.
✗ Branch 203 not taken.
✓ Branch 206 taken 82 times.
✗ Branch 207 not taken.
✗ Branch 210 not taken.
✗ Branch 211 not taken.
✗ Branch 214 not taken.
✗ Branch 215 not taken.
✓ Branch 218 taken 11 times.
✗ Branch 219 not taken.
✗ Branch 222 not taken.
✗ Branch 223 not taken.
✓ Branch 226 taken 440 times.
✗ Branch 227 not taken.
✗ Branch 230 not taken.
✗ Branch 231 not taken.
✗ Branch 234 not taken.
✗ Branch 235 not taken.
✓ Branch 238 taken 3201 times.
✗ Branch 239 not taken.
✗ Branch 242 not taken.
✗ Branch 243 not taken.
✗ Branch 246 not taken.
✗ Branch 247 not taken.
✗ Branch 250 not taken.
✗ Branch 251 not taken.
✗ Branch 254 not taken.
✗ Branch 255 not taken.
✗ Branch 258 not taken.
✗ Branch 259 not taken.
✗ Branch 262 not taken.
✗ Branch 263 not taken.
✗ Branch 266 not taken.
✗ Branch 267 not taken.
✗ Branch 270 not taken.
✗ Branch 271 not taken.
✗ Branch 274 not taken.
✗ Branch 275 not taken.
✗ Branch 278 not taken.
✗ Branch 279 not taken.
✗ Branch 282 not taken.
✗ Branch 283 not taken.
✗ Branch 286 not taken.
✗ Branch 287 not taken.
✗ Branch 290 not taken.
✗ Branch 291 not taken.
✗ Branch 294 not taken.
✗ Branch 295 not taken.
✗ Branch 298 not taken.
✗ Branch 299 not taken.
✗ Branch 302 not taken.
✗ Branch 303 not taken.
✗ Branch 306 not taken.
✗ Branch 307 not taken.
✗ Branch 310 not taken.
✗ Branch 311 not taken.
✗ Branch 314 not taken.
✗ Branch 315 not taken.
✗ Branch 318 not taken.
✗ Branch 319 not taken.
✓ Branch 322 taken 874 times.
✗ Branch 323 not taken.
✓ Branch 326 taken 82 times.
✗ Branch 327 not taken.
✗ Branch 330 not taken.
✗ Branch 331 not taken.
✗ Branch 334 not taken.
✗ Branch 335 not taken.
✓ Branch 338 taken 11 times.
✗ Branch 339 not taken.
✗ Branch 342 not taken.
✗ Branch 343 not taken.
✓ Branch 346 taken 437 times.
✗ Branch 347 not taken.
✗ Branch 350 not taken.
✗ Branch 351 not taken.
✗ Branch 354 not taken.
✗ Branch 355 not taken.
✓ Branch 358 taken 3195 times.
✗ Branch 359 not taken.
✓ Branch 362 taken 874 times.
✗ Branch 363 not taken.
✓ Branch 366 taken 82 times.
✗ Branch 367 not taken.
✗ Branch 370 not taken.
✗ Branch 371 not taken.
✗ Branch 374 not taken.
✗ Branch 375 not taken.
✓ Branch 378 taken 11 times.
✗ Branch 379 not taken.
✗ Branch 382 not taken.
✗ Branch 383 not taken.
✓ Branch 386 taken 437 times.
✗ Branch 387 not taken.
✗ Branch 390 not taken.
✗ Branch 391 not taken.
✗ Branch 394 not taken.
✗ Branch 395 not taken.
✓ Branch 398 taken 3195 times.
✗ Branch 399 not taken.
✓ Branch 402 taken 874 times.
✗ Branch 403 not taken.
✓ Branch 406 taken 82 times.
✗ Branch 407 not taken.
✗ Branch 410 not taken.
✗ Branch 411 not taken.
✗ Branch 414 not taken.
✗ Branch 415 not taken.
✓ Branch 418 taken 11 times.
✗ Branch 419 not taken.
✗ Branch 422 not taken.
✗ Branch 423 not taken.
✓ Branch 426 taken 437 times.
✗ Branch 427 not taken.
✗ Branch 430 not taken.
✗ Branch 431 not taken.
✗ Branch 434 not taken.
✗ Branch 435 not taken.
✓ Branch 438 taken 3195 times.
✗ Branch 439 not taken.
✓ Branch 442 taken 874 times.
✗ Branch 443 not taken.
✓ Branch 446 taken 82 times.
✗ Branch 447 not taken.
✗ Branch 450 not taken.
✗ Branch 451 not taken.
✗ Branch 454 not taken.
✗ Branch 455 not taken.
✓ Branch 458 taken 11 times.
✗ Branch 459 not taken.
✗ Branch 462 not taken.
✗ Branch 463 not taken.
✓ Branch 466 taken 437 times.
✗ Branch 467 not taken.
✗ Branch 470 not taken.
✗ Branch 471 not taken.
✗ Branch 474 not taken.
✗ Branch 475 not taken.
✓ Branch 478 taken 3195 times.
✗ Branch 479 not taken.
✓ Branch 482 taken 2622 times.
✗ Branch 483 not taken.
✗ Branch 486 not taken.
✗ Branch 487 not taken.
✓ Branch 490 taken 13572 times.
✗ Branch 491 not taken.
✗ Branch 494 not taken.
✗ Branch 495 not taken.
✗ Branch 498 not taken.
✗ Branch 499 not taken.
✓ Branch 502 taken 2622 times.
✗ Branch 503 not taken.
✗ Branch 506 not taken.
✗ Branch 507 not taken.
✗ Branch 510 not taken.
✗ Branch 511 not taken.
✓ Branch 514 taken 2622 times.
✗ Branch 515 not taken.
✓ Branch 518 taken 2622 times.
✗ Branch 519 not taken.
✓ Branch 522 taken 2622 times.
✗ Branch 523 not taken.
✓ Branch 526 taken 2622 times.
✗ Branch 527 not taken.
80858 encoded.write(std::span{header});
96
42/264
✓ Branch 2 taken 874 times.
✗ Branch 3 not taken.
✗ Branch 6 not taken.
✗ Branch 7 not taken.
✓ Branch 10 taken 82 times.
✗ Branch 11 not taken.
✗ Branch 14 not taken.
✗ Branch 15 not taken.
✓ Branch 18 taken 11 times.
✗ Branch 19 not taken.
✗ Branch 22 not taken.
✗ Branch 23 not taken.
✓ Branch 26 taken 437 times.
✗ Branch 27 not taken.
✗ Branch 30 not taken.
✗ Branch 31 not taken.
✗ Branch 34 not taken.
✗ Branch 35 not taken.
✓ Branch 38 taken 3195 times.
✗ Branch 39 not taken.
✗ Branch 42 not taken.
✗ Branch 43 not taken.
✗ Branch 46 not taken.
✗ Branch 47 not taken.
✗ Branch 50 not taken.
✗ Branch 51 not taken.
✗ Branch 54 not taken.
✗ Branch 55 not taken.
✗ Branch 58 not taken.
✗ Branch 59 not taken.
✗ Branch 62 not taken.
✗ Branch 63 not taken.
✗ Branch 66 not taken.
✗ Branch 67 not taken.
✗ Branch 70 not taken.
✗ Branch 71 not taken.
✗ Branch 74 not taken.
✗ Branch 75 not taken.
✗ Branch 78 not taken.
✗ Branch 79 not taken.
✓ Branch 82 taken 4624 times.
✗ Branch 83 not taken.
✓ Branch 86 taken 1537 times.
✗ Branch 87 not taken.
✗ Branch 90 not taken.
✗ Branch 91 not taken.
✗ Branch 94 not taken.
✗ Branch 95 not taken.
✓ Branch 98 taken 452 times.
✗ Branch 99 not taken.
✗ Branch 102 not taken.
✗ Branch 103 not taken.
✓ Branch 106 taken 2312 times.
✗ Branch 107 not taken.
✗ Branch 110 not taken.
✗ Branch 111 not taken.
✗ Branch 114 not taken.
✗ Branch 115 not taken.
✓ Branch 118 taken 15020 times.
✗ Branch 119 not taken.
✗ Branch 122 not taken.
✗ Branch 123 not taken.
✗ Branch 126 not taken.
✗ Branch 127 not taken.
✗ Branch 130 not taken.
✗ Branch 131 not taken.
✗ Branch 134 not taken.
✗ Branch 135 not taken.
✗ Branch 138 not taken.
✗ Branch 139 not taken.
✗ Branch 142 not taken.
✗ Branch 143 not taken.
✗ Branch 146 not taken.
✗ Branch 147 not taken.
✗ Branch 150 not taken.
✗ Branch 151 not taken.
✗ Branch 154 not taken.
✗ Branch 155 not taken.
✗ Branch 158 not taken.
✗ Branch 159 not taken.
✗ Branch 162 not taken.
✗ Branch 163 not taken.
✗ Branch 166 not taken.
✗ Branch 167 not taken.
✗ Branch 170 not taken.
✗ Branch 171 not taken.
✗ Branch 174 not taken.
✗ Branch 175 not taken.
✗ Branch 178 not taken.
✗ Branch 179 not taken.
✗ Branch 182 not taken.
✗ Branch 183 not taken.
✗ Branch 186 not taken.
✗ Branch 187 not taken.
✗ Branch 190 not taken.
✗ Branch 191 not taken.
✗ Branch 194 not taken.
✗ Branch 195 not taken.
✗ Branch 198 not taken.
✗ Branch 199 not taken.
✓ Branch 202 taken 880 times.
✗ Branch 203 not taken.
✓ Branch 206 taken 82 times.
✗ Branch 207 not taken.
✗ Branch 210 not taken.
✗ Branch 211 not taken.
✗ Branch 214 not taken.
✗ Branch 215 not taken.
✓ Branch 218 taken 11 times.
✗ Branch 219 not taken.
✗ Branch 222 not taken.
✗ Branch 223 not taken.
✓ Branch 226 taken 440 times.
✗ Branch 227 not taken.
✗ Branch 230 not taken.
✗ Branch 231 not taken.
✗ Branch 234 not taken.
✗ Branch 235 not taken.
✓ Branch 238 taken 3201 times.
✗ Branch 239 not taken.
✗ Branch 242 not taken.
✗ Branch 243 not taken.
✗ Branch 246 not taken.
✗ Branch 247 not taken.
✗ Branch 250 not taken.
✗ Branch 251 not taken.
✗ Branch 254 not taken.
✗ Branch 255 not taken.
✗ Branch 258 not taken.
✗ Branch 259 not taken.
✗ Branch 262 not taken.
✗ Branch 263 not taken.
✗ Branch 266 not taken.
✗ Branch 267 not taken.
✗ Branch 270 not taken.
✗ Branch 271 not taken.
✗ Branch 274 not taken.
✗ Branch 275 not taken.
✗ Branch 278 not taken.
✗ Branch 279 not taken.
✗ Branch 282 not taken.
✗ Branch 283 not taken.
✗ Branch 286 not taken.
✗ Branch 287 not taken.
✗ Branch 290 not taken.
✗ Branch 291 not taken.
✗ Branch 294 not taken.
✗ Branch 295 not taken.
✗ Branch 298 not taken.
✗ Branch 299 not taken.
✗ Branch 302 not taken.
✗ Branch 303 not taken.
✗ Branch 306 not taken.
✗ Branch 307 not taken.
✗ Branch 310 not taken.
✗ Branch 311 not taken.
✗ Branch 314 not taken.
✗ Branch 315 not taken.
✗ Branch 318 not taken.
✗ Branch 319 not taken.
✓ Branch 322 taken 874 times.
✗ Branch 323 not taken.
✓ Branch 326 taken 82 times.
✗ Branch 327 not taken.
✗ Branch 330 not taken.
✗ Branch 331 not taken.
✗ Branch 334 not taken.
✗ Branch 335 not taken.
✓ Branch 338 taken 11 times.
✗ Branch 339 not taken.
✗ Branch 342 not taken.
✗ Branch 343 not taken.
✓ Branch 346 taken 437 times.
✗ Branch 347 not taken.
✗ Branch 350 not taken.
✗ Branch 351 not taken.
✗ Branch 354 not taken.
✗ Branch 355 not taken.
✓ Branch 358 taken 3195 times.
✗ Branch 359 not taken.
✓ Branch 362 taken 874 times.
✗ Branch 363 not taken.
✓ Branch 366 taken 82 times.
✗ Branch 367 not taken.
✗ Branch 370 not taken.
✗ Branch 371 not taken.
✗ Branch 374 not taken.
✗ Branch 375 not taken.
✓ Branch 378 taken 11 times.
✗ Branch 379 not taken.
✗ Branch 382 not taken.
✗ Branch 383 not taken.
✓ Branch 386 taken 437 times.
✗ Branch 387 not taken.
✗ Branch 390 not taken.
✗ Branch 391 not taken.
✗ Branch 394 not taken.
✗ Branch 395 not taken.
✓ Branch 398 taken 3195 times.
✗ Branch 399 not taken.
✓ Branch 402 taken 874 times.
✗ Branch 403 not taken.
✓ Branch 406 taken 82 times.
✗ Branch 407 not taken.
✗ Branch 410 not taken.
✗ Branch 411 not taken.
✗ Branch 414 not taken.
✗ Branch 415 not taken.
✓ Branch 418 taken 11 times.
✗ Branch 419 not taken.
✗ Branch 422 not taken.
✗ Branch 423 not taken.
✓ Branch 426 taken 437 times.
✗ Branch 427 not taken.
✗ Branch 430 not taken.
✗ Branch 431 not taken.
✗ Branch 434 not taken.
✗ Branch 435 not taken.
✓ Branch 438 taken 3195 times.
✗ Branch 439 not taken.
✓ Branch 442 taken 874 times.
✗ Branch 443 not taken.
✓ Branch 446 taken 82 times.
✗ Branch 447 not taken.
✗ Branch 450 not taken.
✗ Branch 451 not taken.
✗ Branch 454 not taken.
✗ Branch 455 not taken.
✓ Branch 458 taken 11 times.
✗ Branch 459 not taken.
✗ Branch 462 not taken.
✗ Branch 463 not taken.
✓ Branch 466 taken 437 times.
✗ Branch 467 not taken.
✗ Branch 470 not taken.
✗ Branch 471 not taken.
✗ Branch 474 not taken.
✗ Branch 475 not taken.
✓ Branch 478 taken 3195 times.
✗ Branch 479 not taken.
✓ Branch 482 taken 2622 times.
✗ Branch 483 not taken.
✗ Branch 486 not taken.
✗ Branch 487 not taken.
✓ Branch 490 taken 13572 times.
✗ Branch 491 not taken.
✗ Branch 494 not taken.
✗ Branch 495 not taken.
✗ Branch 498 not taken.
✗ Branch 499 not taken.
✓ Branch 502 taken 2622 times.
✗ Branch 503 not taken.
✗ Branch 506 not taken.
✗ Branch 507 not taken.
✗ Branch 510 not taken.
✗ Branch 511 not taken.
✓ Branch 514 taken 2622 times.
✗ Branch 515 not taken.
✓ Branch 518 taken 2622 times.
✗ Branch 519 not taken.
✓ Branch 522 taken 2622 times.
✗ Branch 523 not taken.
✓ Branch 526 taken 2622 times.
✗ Branch 527 not taken.
80858 encoded.write(serialization.as_span());
97 80858 });
98 161716 }
99
100 const Field& _field;
101 Encoder _encoder;
102 Compressor _compressor;
103 };
104
105 } // namespace GridFormat::VTK
106
107 #endif // GRIDFORMAT_VTK_DATA_ARRAY_HPP_
108