GCC Code Coverage Report

Directory: ../../../builds/dumux-repositories/
File: /builds/dumux-repositories/dumux/dumux/discretization/fvgridvariables.hh
Date: 2024-05-04 19:09:25
Exec Total Coverage
Lines: 29 33 87.9%
Functions: 329 1053 31.2%
Branches: 1203 2415 49.8%
Line Branch Exec Source
1 // -*- mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*-
2 // vi: set et ts=4 sw=4 sts=4:
3 //
4 // SPDX-FileCopyrightInfo: Copyright © DuMux Project contributors, see AUTHORS.md in root folder
5 // SPDX-License-Identifier: GPL-3.0-or-later
6 //
7 /*!
8 * \file
9 * \ingroup Discretization
10 * \brief The grid variable class for finite volume schemes,
11 * storing variables on scv and scvf (volume and flux variables)
12 */
13 #ifndef DUMUX_FV_GRID_VARIABLES_HH
14 #define DUMUX_FV_GRID_VARIABLES_HH
15
16 #include <type_traits>
17 #include <memory>
18
19 namespace Dumux {
20
21 /*!
22 * \ingroup Discretization
23 * \brief The grid variable class for finite volume schemes storing variables on scv and scvf (volume and flux variables)
24 * \tparam the type of the grid geometry
25 * \tparam the type of the grid volume variables
26 * \tparam the type of the grid flux variables cache
27 */
28 template<class GG, class GVV, class GFVC>
29
9/24
✗ Branch 0 not taken.
✗ Branch 1 not taken.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
✓ Branch 4 taken 289 times.
✗ Branch 5 not taken.
✗ Branch 6 not taken.
✗ Branch 7 not taken.
✓ Branch 8 taken 64 times.
✗ Branch 9 not taken.
✓ Branch 10 taken 64 times.
✗ Branch 11 not taken.
✓ Branch 12 taken 2 times.
✗ Branch 13 not taken.
✓ Branch 14 taken 2 times.
✗ Branch 15 not taken.
✓ Branch 16 taken 5 times.
✗ Branch 17 not taken.
✓ Branch 18 taken 3 times.
✗ Branch 19 not taken.
✓ Branch 20 taken 3 times.
✗ Branch 21 not taken.
✓ Branch 22 taken 3 times.
✗ Branch 23 not taken.
 435 class FVGridVariables
30 {
31 public:
32 //! export type of the finite volume grid geometry
33 using GridGeometry = GG;
34
35 //! export type of the finite volume grid geometry
36 using GridVolumeVariables = GVV;
37
38 //! export type of the volume variables
39 using VolumeVariables = typename GridVolumeVariables::VolumeVariables;
40
41 //! export primary variable type
42 using PrimaryVariables = typename VolumeVariables::PrimaryVariables;
43
44 //! export scalar type (TODO get it directly from the volvars)
45 using Scalar = std::decay_t<decltype(std::declval<PrimaryVariables>()[0])>;
46
47 //! export type of the finite volume grid geometry
48 using GridFluxVariablesCache = GFVC;
49
50 template<class Problem>
51 124 FVGridVariables(std::shared_ptr<Problem> problem,
52 std::shared_ptr<const GridGeometry> gridGeometry)
53 : gridGeometry_(gridGeometry)
54 248 , curGridVolVars_(*problem)
55 248 , prevGridVolVars_(*problem)
56
11/58
✓ Branch 1 taken 6 times.
✓ Branch 2 taken 79 times.
✓ Branch 3 taken 6 times.
✗ Branch 4 not taken.
✓ Branch 5 taken 85 times.
✗ Branch 6 not taken.
✓ Branch 7 taken 6 times.
✓ Branch 8 taken 79 times.
✓ Branch 9 taken 6 times.
✗ Branch 10 not taken.
✓ Branch 11 taken 85 times.
✗ Branch 12 not taken.
✓ Branch 13 taken 6 times.
✓ Branch 14 taken 79 times.
✗ Branch 15 not taken.
✗ Branch 16 not taken.
✓ Branch 17 taken 79 times.
✗ Branch 18 not taken.
✗ Branch 19 not taken.
✗ Branch 20 not taken.
✗ Branch 21 not taken.
✗ Branch 22 not taken.
✗ Branch 23 not taken.
✗ Branch 24 not taken.
✗ Branch 25 not taken.
✗ Branch 26 not taken.
✗ Branch 27 not taken.
✗ Branch 28 not taken.
✗ Branch 29 not taken.
✗ Branch 30 not taken.
✗ Branch 31 not taken.
✗ Branch 32 not taken.
✗ Branch 33 not taken.
✗ Branch 34 not taken.
✗ Branch 35 not taken.
✗ Branch 36 not taken.
✗ Branch 37 not taken.
✗ Branch 38 not taken.
✗ Branch 39 not taken.
✗ Branch 40 not taken.
✗ Branch 41 not taken.
✗ Branch 42 not taken.
✗ Branch 43 not taken.
✗ Branch 44 not taken.
✗ Branch 46 not taken.
✗ Branch 47 not taken.
✗ Branch 48 not taken.
✗ Branch 49 not taken.
✗ Branch 50 not taken.
✗ Branch 51 not taken.
✗ Branch 52 not taken.
✗ Branch 53 not taken.
✗ Branch 54 not taken.
✗ Branch 55 not taken.
✗ Branch 56 not taken.
✗ Branch 57 not taken.
✗ Branch 58 not taken.
✗ Branch 59 not taken.
 124 , gridFluxVarsCache_(*problem)
57 118 {}
58
59 //! initialize all variables (stationary case)
60 template<class SolutionVector>
61 523 void init(const SolutionVector& curSol)
62 {
63 // resize and update the volVars with the initial solution
64
4/8
✓ Branch 1 taken 353 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 71 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 5 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 3 times.
✗ Branch 11 not taken.
 1536 curGridVolVars_.update(*gridGeometry_, curSol);
65
66 // update the flux variables caches (always force flux cache update on initialization)
67
4/8
✓ Branch 1 taken 360 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 71 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 5 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 3 times.
✗ Branch 11 not taken.
 1503 gridFluxVarsCache_.update(*gridGeometry_, curGridVolVars_, curSol, true);
68
69 // set the volvars of the previous time step in case we have an instationary problem
70 // note that this means some memory overhead in the case of enabled caching, however
71 // this it outweighted by the advantage of having a single grid variables object for
72 // stationary and instationary problems
73
4/8
✓ Branch 1 taken 360 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 71 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 5 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 3 times.
✗ Branch 11 not taken.
 989 prevGridVolVars_ = curGridVolVars_;
74 523 }
75
76 //! update all variables
77 template<class SolutionVector>
78 23307 void update(const SolutionVector& curSol, bool forceFluxCacheUpdate = false)
79 {
80 // resize and update the volVars with the initial solution
81
6/11
✓ Branch 0 taken 4 times.
✓ Branch 1 taken 53 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 2 times.
✗ Branch 5 not taken.
✗ Branch 6 not taken.
✓ Branch 7 taken 44 times.
✗ Branch 8 not taken.
✓ Branch 9 taken 20 times.
✓ Branch 10 taken 24 times.
✗ Branch 11 not taken.
 150217 curGridVolVars_.update(*gridGeometry_, curSol);
82
83 // update the flux variables caches
84
13/21
✓ Branch 0 taken 4 times.
✓ Branch 1 taken 58 times.
✓ Branch 2 taken 4 times.
✓ Branch 3 taken 5 times.
✓ Branch 4 taken 53 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 2 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 2 times.
✗ Branch 11 not taken.
✗ Branch 12 not taken.
✓ Branch 13 taken 44 times.
✗ Branch 14 not taken.
✓ Branch 15 taken 20 times.
✓ Branch 16 taken 24 times.
✓ Branch 17 taken 20 times.
✗ Branch 18 not taken.
✓ Branch 19 taken 44 times.
✗ Branch 20 not taken.
✓ Branch 22 taken 24 times.
✗ Branch 23 not taken.
 153287 gridFluxVarsCache_.update(*gridGeometry_, curGridVolVars_, curSol, forceFluxCacheUpdate);
85 23307 }
86
87 //! update all variables after grid adaption
88 template<class SolutionVector>
89 ✗ void updateAfterGridAdaption(const SolutionVector& curSol)
90 {
91 // update (always force flux cache update as the grid changed)
92
2/7
✓ Branch 1 taken 9 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✗ Branch 7 not taken.
✗ Branch 8 not taken.
 23 update(curSol, true);
93
94 // for instationary problems also update the variables
95 // for the previous time step to the new grid
96
2/7
✓ Branch 1 taken 9 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✗ Branch 7 not taken.
✗ Branch 8 not taken.
 23 prevGridVolVars_ = curGridVolVars_;
97 ✗ }
98
99 /*!
100 * \brief Sets the current state as the previous for next time step
101 * \note this has to be called at the end of each time step
102 */
103 ✗ void advanceTimeStep()
104 {
105
6/14
✓ Branch 1 taken 18586 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 211 times.
✓ Branch 4 taken 8689 times.
✗ Branch 5 not taken.
✗ Branch 6 not taken.
✓ Branch 7 taken 741 times.
✗ Branch 8 not taken.
✓ Branch 9 taken 35 times.
✓ Branch 10 taken 606 times.
✗ Branch 11 not taken.
✗ Branch 12 not taken.
✗ Branch 13 not taken.
✗ Branch 14 not taken.
 21905 prevGridVolVars_ = curGridVolVars_;
106 ✗ }
107
108 //! resets state to the one before time integration
109 template<class SolutionVector>
110 16 void resetTimeStep(const SolutionVector& solution)
111 {
112 // set the new time step vol vars to old vol vars
113 318 curGridVolVars_ = prevGridVolVars_;
114
115 // update the flux variables caches
116
2/12
✓ Branch 0 taken 270 times.
✗ Branch 1 not taken.
✓ Branch 2 taken 270 times.
✗ Branch 3 not taken.
✗ Branch 4 not taken.
✗ Branch 5 not taken.
✗ Branch 6 not taken.
✗ Branch 7 not taken.
✗ Branch 8 not taken.
✗ Branch 9 not taken.
✗ Branch 10 not taken.
✗ Branch 11 not taken.
 636 gridFluxVarsCache_.update(*gridGeometry_, curGridVolVars_, solution);
117 16 }
118
119 //! return the flux variables cache
120 const GridFluxVariablesCache& gridFluxVarsCache() const
121
30/53
✓ Branch 1 taken 15047137 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 982758 times.
✓ Branch 4 taken 51383913 times.
✓ Branch 5 taken 20 times.
✓ Branch 6 taken 20 times.
✓ Branch 7 taken 9132133 times.
✗ Branch 8 not taken.
✗ Branch 9 not taken.
✓ Branch 10 taken 584431 times.
✓ Branch 11 taken 179 times.
✓ Branch 13 taken 636981 times.
✗ Branch 14 not taken.
✓ Branch 16 taken 417596 times.
✗ Branch 17 not taken.
✓ Branch 19 taken 350627 times.
✗ Branch 20 not taken.
✓ Branch 22 taken 288988 times.
✗ Branch 23 not taken.
✓ Branch 25 taken 108135 times.
✗ Branch 26 not taken.
✓ Branch 28 taken 1935739 times.
✗ Branch 29 not taken.
✓ Branch 31 taken 50225 times.
✗ Branch 32 not taken.
✓ Branch 34 taken 964025 times.
✓ Branch 35 taken 2 times.
✗ Branch 36 not taken.
✓ Branch 37 taken 25 times.
✓ Branch 38 taken 1 times.
✗ Branch 39 not taken.
✓ Branch 40 taken 25 times.
✗ Branch 41 not taken.
✓ Branch 43 taken 25 times.
✗ Branch 44 not taken.
✓ Branch 46 taken 25 times.
✗ Branch 47 not taken.
✓ Branch 49 taken 25 times.
✗ Branch 50 not taken.
✓ Branch 52 taken 25 times.
✗ Branch 53 not taken.
✓ Branch 55 taken 25 times.
✗ Branch 56 not taken.
✓ Branch 58 taken 25 times.
✗ Branch 59 not taken.
✓ Branch 61 taken 25 times.
✗ Branch 62 not taken.
✓ Branch 64 taken 25 times.
✗ Branch 65 not taken.
✓ Branch 67 taken 25 times.
✗ Branch 68 not taken.
✓ Branch 70 taken 25 times.
✗ Branch 71 not taken.
 86253558 { return gridFluxVarsCache_; }
122
123 //! return the flux variables cache
124 GridFluxVariablesCache& gridFluxVarsCache()
125
6/8
✗ Branch 0 not taken.
✓ Branch 1 taken 4022212 times.
✓ Branch 2 taken 1387500 times.
✓ Branch 3 taken 78 times.
✓ Branch 4 taken 1224187 times.
✓ Branch 5 taken 298639 times.
✗ Branch 6 not taken.
✓ Branch 7 taken 217464 times.
 104631154 { return gridFluxVarsCache_; }
126
127 //! return the current volume variables
128 const GridVolumeVariables& curGridVolVars() const
129
132/259
✓ Branch 1 taken 189976 times.
✓ Branch 2 taken 2502063 times.
✓ Branch 3 taken 10006 times.
✓ Branch 4 taken 34677992 times.
✓ Branch 5 taken 2914099 times.
✓ Branch 6 taken 17270 times.
✓ Branch 7 taken 6467494 times.
✓ Branch 8 taken 19504009 times.
✓ Branch 9 taken 178629 times.
✓ Branch 10 taken 3486258 times.
✓ Branch 11 taken 1387632 times.
✓ Branch 12 taken 1060722 times.
✓ Branch 13 taken 4140498 times.
✓ Branch 14 taken 372 times.
✓ Branch 15 taken 11841 times.
✓ Branch 16 taken 376373 times.
✓ Branch 17 taken 9173 times.
✓ Branch 18 taken 105791 times.
✓ Branch 19 taken 16 times.
✓ Branch 20 taken 8762 times.
✓ Branch 21 taken 2081843 times.
✓ Branch 22 taken 1 times.
✓ Branch 23 taken 50087 times.
✓ Branch 24 taken 200 times.
✓ Branch 25 taken 2 times.
✓ Branch 26 taken 964083 times.
✗ Branch 27 not taken.
✓ Branch 28 taken 4 times.
✓ Branch 29 taken 93 times.
✓ Branch 30 taken 1 times.
✓ Branch 31 taken 2 times.
✓ Branch 32 taken 6632 times.
✓ Branch 33 taken 2 times.
✓ Branch 34 taken 153891 times.
✓ Branch 35 taken 3150 times.
✓ Branch 36 taken 2 times.
✓ Branch 37 taken 1 times.
✓ Branch 38 taken 338822 times.
✓ Branch 39 taken 3 times.
✓ Branch 40 taken 2529 times.
✓ Branch 41 taken 182831 times.
✓ Branch 42 taken 3 times.
✓ Branch 43 taken 1 times.
✓ Branch 44 taken 3 times.
✓ Branch 45 taken 79 times.
✓ Branch 46 taken 1 times.
✓ Branch 47 taken 1 times.
✓ Branch 48 taken 2 times.
✓ Branch 49 taken 1 times.
✓ Branch 50 taken 1 times.
✓ Branch 51 taken 2 times.
✓ Branch 52 taken 1 times.
✓ Branch 53 taken 2 times.
✓ Branch 54 taken 2 times.
✓ Branch 55 taken 1 times.
✗ Branch 56 not taken.
✓ Branch 57 taken 4368 times.
✓ Branch 58 taken 1 times.
✗ Branch 59 not taken.
✓ Branch 61 taken 3 times.
✗ Branch 62 not taken.
✓ Branch 64 taken 2015 times.
✗ Branch 65 not taken.
✓ Branch 67 taken 1 times.
✗ Branch 68 not taken.
✓ Branch 70 taken 1 times.
✗ 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 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 169 taken 1 times.
✗ Branch 170 not taken.
✓ Branch 172 taken 1 times.
✗ Branch 173 not taken.
✓ Branch 175 taken 1 times.
✗ Branch 176 not taken.
✓ Branch 178 taken 1 times.
✗ Branch 179 not taken.
✓ Branch 181 taken 1 times.
✗ Branch 182 not taken.
✓ Branch 184 taken 1 times.
✗ Branch 185 not taken.
✓ Branch 187 taken 1 times.
✗ Branch 188 not taken.
✓ Branch 190 taken 1 times.
✗ Branch 191 not taken.
✓ Branch 193 taken 1 times.
✗ Branch 194 not taken.
✓ Branch 196 taken 1 times.
✗ Branch 197 not taken.
✓ Branch 199 taken 1 times.
✗ Branch 200 not taken.
✓ Branch 202 taken 1 times.
✗ Branch 203 not taken.
✓ Branch 205 taken 1 times.
✗ Branch 206 not taken.
✓ Branch 208 taken 1 times.
✗ Branch 209 not taken.
✓ Branch 211 taken 1 times.
✗ Branch 212 not taken.
✓ Branch 214 taken 1 times.
✗ Branch 215 not taken.
✓ Branch 217 taken 1 times.
✗ Branch 218 not taken.
✓ Branch 220 taken 1 times.
✗ Branch 221 not taken.
✓ Branch 223 taken 1 times.
✗ Branch 224 not taken.
✓ Branch 226 taken 1 times.
✗ Branch 227 not taken.
✓ Branch 229 taken 1 times.
✗ Branch 230 not taken.
✓ Branch 232 taken 1 times.
✗ Branch 233 not taken.
✓ Branch 235 taken 1 times.
✗ Branch 236 not taken.
✓ Branch 238 taken 1 times.
✗ Branch 239 not taken.
✗ Branch 240 not taken.
✓ Branch 241 taken 1 times.
✓ Branch 243 taken 1 times.
✗ Branch 244 not taken.
✗ Branch 245 not taken.
✓ Branch 246 taken 1 times.
✓ Branch 248 taken 1 times.
✗ Branch 249 not taken.
✗ Branch 250 not taken.
✓ Branch 251 taken 1 times.
✓ Branch 253 taken 1 times.
✗ Branch 254 not taken.
✗ Branch 255 not taken.
✓ Branch 256 taken 1 times.
✓ Branch 258 taken 1 times.
✗ Branch 259 not taken.
✗ Branch 260 not taken.
✓ Branch 261 taken 1 times.
✓ Branch 263 taken 1 times.
✗ Branch 264 not taken.
✗ Branch 265 not taken.
✓ Branch 266 taken 1 times.
✓ Branch 268 taken 1 times.
✗ Branch 269 not taken.
✗ Branch 270 not taken.
✓ Branch 271 taken 1 times.
✓ Branch 273 taken 1 times.
✗ Branch 274 not taken.
✗ Branch 275 not taken.
✓ Branch 276 taken 1 times.
✓ Branch 278 taken 1 times.
✗ Branch 279 not taken.
✗ Branch 280 not taken.
✓ Branch 281 taken 1 times.
✓ Branch 283 taken 1 times.
✗ Branch 284 not taken.
✗ Branch 285 not taken.
✓ Branch 286 taken 1 times.
✓ Branch 288 taken 1 times.
✗ Branch 289 not taken.
✗ Branch 290 not taken.
✓ Branch 291 taken 1 times.
✓ Branch 293 taken 1 times.
✗ Branch 294 not taken.
✗ Branch 295 not taken.
✓ Branch 296 taken 1 times.
✓ Branch 298 taken 1 times.
✗ Branch 299 not taken.
✗ Branch 300 not taken.
✓ Branch 301 taken 1 times.
✓ Branch 303 taken 1 times.
✗ Branch 304 not taken.
✗ Branch 305 not taken.
✓ Branch 306 taken 1 times.
✓ Branch 308 taken 1 times.
✗ Branch 309 not taken.
✗ Branch 310 not taken.
✓ Branch 311 taken 1 times.
✓ Branch 313 taken 1 times.
✗ Branch 314 not taken.
✗ Branch 315 not taken.
✓ Branch 316 taken 1 times.
✓ Branch 318 taken 1 times.
✗ Branch 319 not taken.
✗ Branch 320 not taken.
✓ Branch 321 taken 1 times.
✓ Branch 323 taken 1 times.
✗ Branch 324 not taken.
✗ Branch 325 not taken.
✓ Branch 326 taken 1 times.
✓ Branch 328 taken 1 times.
✗ Branch 329 not taken.
✗ Branch 330 not taken.
✓ Branch 331 taken 1 times.
✓ Branch 333 taken 1 times.
✗ Branch 334 not taken.
✗ Branch 335 not taken.
✓ Branch 336 taken 1 times.
✓ Branch 338 taken 1 times.
✗ Branch 339 not taken.
✗ Branch 340 not taken.
✓ Branch 341 taken 1 times.
✓ Branch 343 taken 1 times.
✗ Branch 344 not taken.
✗ Branch 345 not taken.
✓ Branch 346 taken 1 times.
✓ Branch 348 taken 1 times.
✗ Branch 349 not taken.
✗ Branch 350 not taken.
✓ Branch 351 taken 1 times.
✓ Branch 353 taken 1 times.
✗ Branch 354 not taken.
✗ Branch 355 not taken.
✓ Branch 356 taken 1 times.
✓ Branch 358 taken 1 times.
✗ Branch 359 not taken.
 89456614 { return curGridVolVars_; }
130
131 //! return the current volume variables
132 GridVolumeVariables& curGridVolVars()
133
12/17
✓ Branch 0 taken 34 times.
✓ Branch 1 taken 5068359 times.
✓ Branch 2 taken 1228320 times.
✓ Branch 3 taken 41695867 times.
✓ Branch 4 taken 9716829 times.
✓ Branch 5 taken 11967024 times.
✓ Branch 6 taken 146719 times.
✓ Branch 7 taken 2070992 times.
✓ Branch 8 taken 290432 times.
✓ Branch 9 taken 1907877 times.
✓ Branch 10 taken 579386 times.
✗ Branch 11 not taken.
✓ Branch 12 taken 14001 times.
✗ Branch 13 not taken.
✗ Branch 14 not taken.
✗ Branch 15 not taken.
✗ Branch 16 not taken.
 430237785 { return curGridVolVars_; }
134
135 //! return the volume variables of the previous time step (for instationary problems)
136 const GridVolumeVariables& prevGridVolVars() const
137
6/13
✗ Branch 0 not taken.
✓ Branch 1 taken 42671670 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 156861 times.
✓ Branch 4 taken 23133213 times.
✗ Branch 5 not taken.
✗ Branch 6 not taken.
✓ Branch 7 taken 1334701 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 1064000 times.
✗ Branch 11 not taken.
✓ Branch 13 taken 1928000 times.
✗ Branch 14 not taken.
 74596520 { return prevGridVolVars_; }
138
139 //! return the volume variables of the previous time step (for instationary problems)
140 GridVolumeVariables& prevGridVolVars()
141
4/6
✓ Branch 1 taken 1062144 times.
✓ Branch 2 taken 298300 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 1062144 times.
✓ Branch 5 taken 298300 times.
✗ Branch 6 not taken.
 2720903 { return prevGridVolVars_; }
142
143 //! return the finite volume grid geometry
144 const GridGeometry& gridGeometry() const
145
950/1881
✓ Branch 0 taken 9 times.
✓ Branch 1 taken 3017 times.
✓ Branch 2 taken 253 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 3258 times.
✓ Branch 5 taken 12 times.
✓ Branch 6 taken 3014 times.
✓ Branch 7 taken 232 times.
✓ Branch 8 taken 3005 times.
✓ Branch 9 taken 12 times.
✓ Branch 10 taken 220 times.
✓ Branch 11 taken 3017 times.
✗ Branch 12 not taken.
✓ Branch 13 taken 32164 times.
✓ Branch 14 taken 3017 times.
✓ Branch 15 taken 27922 times.
✓ Branch 16 taken 4252 times.
✓ Branch 17 taken 3101 times.
✓ Branch 18 taken 10 times.
✓ Branch 19 taken 327786 times.
✓ Branch 20 taken 3101 times.
✓ Branch 21 taken 4042 times.
✓ Branch 22 taken 323754 times.
✓ Branch 23 taken 851254 times.
✓ Branch 24 taken 10 times.
✓ Branch 25 taken 2443203 times.
✓ Branch 26 taken 851254 times.
✓ Branch 27 taken 2443203 times.
✗ Branch 28 not taken.
✓ Branch 29 taken 34278 times.
✗ Branch 30 not taken.
✓ Branch 31 taken 5723 times.
✓ Branch 32 taken 34278 times.
✗ Branch 33 not taken.
✓ Branch 34 taken 5723 times.
✓ Branch 35 taken 34266 times.
✗ Branch 36 not taken.
✓ Branch 37 taken 5723 times.
✓ Branch 38 taken 34266 times.
✗ Branch 39 not taken.
✓ Branch 40 taken 5723 times.
✓ Branch 41 taken 2186 times.
✗ Branch 42 not taken.
✗ Branch 43 not taken.
✓ Branch 44 taken 2186 times.
✗ Branch 45 not taken.
✗ Branch 46 not taken.
✓ Branch 47 taken 2186 times.
✗ Branch 48 not taken.
✗ Branch 49 not taken.
✓ Branch 50 taken 2186 times.
✓ Branch 51 taken 1 times.
✗ Branch 52 not taken.
✓ Branch 53 taken 8 times.
✓ Branch 54 taken 1 times.
✗ Branch 55 not taken.
✓ Branch 56 taken 8 times.
✓ Branch 57 taken 1 times.
✗ Branch 58 not taken.
✓ Branch 59 taken 8 times.
✓ Branch 60 taken 1 times.
✗ Branch 61 not taken.
✓ Branch 62 taken 10 times.
✓ Branch 63 taken 9 times.
✓ Branch 64 taken 497 times.
✓ Branch 65 taken 2109 times.
✓ Branch 66 taken 512 times.
✓ Branch 67 taken 33 times.
✓ Branch 68 taken 2117 times.
✓ Branch 69 taken 9 times.
✓ Branch 70 taken 33 times.
✓ Branch 71 taken 2121 times.
✓ Branch 72 taken 11 times.
✓ Branch 73 taken 91473 times.
✓ Branch 74 taken 2123 times.
✓ Branch 75 taken 91452 times.
✓ Branch 76 taken 21 times.
✓ Branch 77 taken 23282 times.
✓ Branch 78 taken 262 times.
✓ Branch 79 taken 18531 times.
✓ Branch 80 taken 9588 times.
✓ Branch 81 taken 4074 times.
✓ Branch 82 taken 2167 times.
✓ Branch 83 taken 10077 times.
✓ Branch 84 taken 1879 times.
✓ Branch 85 taken 334 times.
✓ Branch 86 taken 10286 times.
✓ Branch 87 taken 1670 times.
✓ Branch 88 taken 431 times.
✓ Branch 89 taken 2817 times.
✓ Branch 90 taken 1812 times.
✓ Branch 91 taken 2014 times.
✓ Branch 92 taken 892 times.
✓ Branch 93 taken 50350 times.
✓ Branch 94 taken 364 times.
✓ Branch 95 taken 297858 times.
✓ Branch 96 taken 2051 times.
✗ Branch 97 not taken.
✓ Branch 98 taken 249243 times.
✓ Branch 99 taken 486 times.
✗ Branch 100 not taken.
✓ Branch 101 taken 1314248 times.
✓ Branch 102 taken 486 times.
✓ Branch 103 taken 819130 times.
✓ Branch 104 taken 496614 times.
✓ Branch 105 taken 21246 times.
✗ Branch 106 not taken.
✓ Branch 107 taken 817002 times.
✓ Branch 108 taken 19750 times.
✓ Branch 109 taken 812253 times.
✓ Branch 110 taken 9002 times.
✓ Branch 111 taken 19876 times.
✓ Branch 112 taken 4253 times.
✓ Branch 113 taken 554482 times.
✓ Branch 114 taken 19876 times.
✓ Branch 115 taken 557938 times.
✓ Branch 116 taken 797 times.
✓ Branch 117 taken 3712 times.
✓ Branch 118 taken 4253 times.
✓ Branch 119 taken 645 times.
✓ Branch 120 taken 3712 times.
✗ Branch 121 not taken.
✓ Branch 122 taken 645 times.
✓ Branch 123 taken 3207 times.
✗ Branch 124 not taken.
✓ Branch 125 taken 497 times.
✓ Branch 126 taken 3207 times.
✗ Branch 127 not taken.
✓ Branch 128 taken 497 times.
✓ Branch 129 taken 653 times.
✗ Branch 130 not taken.
✓ Branch 131 taken 509 times.
✓ Branch 132 taken 653 times.
✗ Branch 133 not taken.
✓ Branch 134 taken 509 times.
✓ Branch 135 taken 653 times.
✗ Branch 136 not taken.
✓ Branch 137 taken 12 times.
✓ Branch 138 taken 653 times.
✗ Branch 139 not taken.
✓ Branch 140 taken 12 times.
✓ Branch 141 taken 26 times.
✗ Branch 142 not taken.
✗ Branch 143 not taken.
✓ Branch 144 taken 26 times.
✓ Branch 145 taken 3 times.
✗ Branch 146 not taken.
✓ Branch 147 taken 26 times.
✓ Branch 148 taken 3 times.
✗ Branch 149 not taken.
✓ Branch 150 taken 26 times.
✓ Branch 151 taken 3 times.
✓ Branch 152 taken 4 times.
✓ Branch 153 taken 2111 times.
✓ Branch 154 taken 9 times.
✓ Branch 155 taken 48 times.
✓ Branch 156 taken 2113 times.
✓ Branch 157 taken 213 times.
✓ Branch 158 taken 48 times.
✓ Branch 159 taken 2212 times.
✓ Branch 160 taken 213 times.
✓ Branch 161 taken 70 times.
✓ Branch 162 taken 2212 times.
✓ Branch 163 taken 235 times.
✓ Branch 164 taken 48 times.
✓ Branch 165 taken 633 times.
✓ Branch 166 taken 220 times.
✓ Branch 167 taken 165 times.
✓ Branch 168 taken 499 times.
✓ Branch 169 taken 163637 times.
✓ Branch 170 taken 53 times.
✓ Branch 171 taken 447 times.
✓ Branch 172 taken 163686 times.
✓ Branch 173 taken 163532 times.
✓ Branch 174 taken 366 times.
✓ Branch 175 taken 1157 times.
✓ Branch 176 taken 163532 times.
✓ Branch 177 taken 8753 times.
✓ Branch 178 taken 1056 times.
✓ Branch 179 taken 9768 times.
✓ Branch 180 taken 23 times.
✓ Branch 181 taken 259 times.
✓ Branch 182 taken 1031 times.
✓ Branch 183 taken 175479 times.
✓ Branch 184 taken 32 times.
✓ Branch 185 taken 5 times.
✓ Branch 186 taken 175259 times.
✓ Branch 187 taken 8 times.
✓ Branch 188 taken 5 times.
✓ Branch 189 taken 219261 times.
✓ Branch 190 taken 8 times.
✓ Branch 191 taken 176848 times.
✓ Branch 192 taken 42418 times.
✓ Branch 193 taken 532 times.
✓ Branch 194 taken 5 times.
✗ Branch 195 not taken.
✓ Branch 196 taken 532 times.
✓ Branch 197 taken 169 times.
✗ Branch 198 not taken.
✓ Branch 199 taken 428 times.
✓ Branch 200 taken 170 times.
✓ Branch 201 taken 27 times.
✓ Branch 202 taken 429 times.
✓ Branch 203 taken 91 times.
✓ Branch 204 taken 2 times.
✓ Branch 205 taken 32 times.
✓ Branch 206 taken 66 times.
✓ Branch 207 taken 2 times.
✓ Branch 208 taken 32 times.
✓ Branch 209 taken 15384 times.
✓ Branch 210 taken 2 times.
✓ Branch 211 taken 15416 times.
✗ Branch 212 not taken.
✓ Branch 213 taken 6 times.
✓ Branch 214 taken 32 times.
✗ Branch 215 not taken.
✓ Branch 216 taken 6 times.
✓ Branch 217 taken 2 times.
✗ Branch 218 not taken.
✓ Branch 219 taken 6 times.
✓ Branch 220 taken 2 times.
✗ Branch 221 not taken.
✓ Branch 222 taken 6 times.
✓ Branch 223 taken 2 times.
✓ Branch 224 taken 2 times.
✗ Branch 225 not taken.
✓ Branch 226 taken 4 times.
✗ Branch 227 not taken.
✗ Branch 228 not taken.
✓ Branch 229 taken 9 times.
✓ Branch 230 taken 2 times.
✓ Branch 231 taken 2 times.
✓ Branch 232 taken 11 times.
✓ Branch 233 taken 5 times.
✓ Branch 234 taken 23 times.
✓ Branch 235 taken 4375 times.
✓ Branch 236 taken 26 times.
✓ Branch 237 taken 2 times.
✓ Branch 238 taken 4375 times.
✓ Branch 239 taken 5 times.
✓ Branch 240 taken 2 times.
✓ Branch 241 taken 4534 times.
✓ Branch 242 taken 5 times.
✓ Branch 243 taken 4408 times.
✓ Branch 244 taken 126 times.
✓ Branch 245 taken 588 times.
✗ Branch 246 not taken.
✓ Branch 247 taken 686 times.
✓ Branch 248 taken 28 times.
✓ Branch 249 taken 85 times.
✓ Branch 250 taken 126 times.
✓ Branch 251 taken 28 times.
✓ Branch 252 taken 85 times.
✓ Branch 253 taken 1 times.
✓ Branch 254 taken 28 times.
✓ Branch 255 taken 85 times.
✓ Branch 256 taken 1 times.
✗ Branch 257 not taken.
✓ Branch 258 taken 107 times.
✓ Branch 259 taken 1 times.
✓ Branch 260 taken 22 times.
✓ Branch 261 taken 1 times.
✓ Branch 262 taken 1 times.
✗ Branch 263 not taken.
✓ Branch 264 taken 1 times.
✓ Branch 265 taken 1 times.
✗ Branch 266 not taken.
✓ Branch 267 taken 1 times.
✓ Branch 268 taken 1 times.
✓ Branch 269 taken 2200 times.
✓ Branch 270 taken 2 times.
✓ Branch 271 taken 2200 times.
✓ Branch 272 taken 1 times.
✓ Branch 273 taken 66 times.
✗ Branch 274 not taken.
✓ Branch 275 taken 1 times.
✓ Branch 276 taken 66 times.
✗ Branch 277 not taken.
✓ Branch 278 taken 1 times.
✓ Branch 279 taken 66 times.
✗ Branch 280 not taken.
✓ Branch 281 taken 1 times.
✓ Branch 282 taken 66 times.
✗ Branch 283 not taken.
✓ Branch 284 taken 1 times.
✗ Branch 285 not taken.
✗ Branch 286 not taken.
✗ Branch 287 not taken.
✗ Branch 288 not taken.
✓ Branch 289 taken 25 times.
✗ Branch 290 not taken.
✓ Branch 291 taken 25 times.
✗ Branch 292 not taken.
✓ Branch 293 taken 14 times.
✗ Branch 294 not taken.
✗ Branch 295 not taken.
✓ Branch 296 taken 14 times.
✓ Branch 297 taken 21 times.
✗ Branch 298 not taken.
✓ Branch 299 taken 14 times.
✓ Branch 300 taken 21 times.
✗ Branch 301 not taken.
✓ Branch 302 taken 14 times.
✓ Branch 303 taken 21 times.
✗ Branch 304 not taken.
✗ Branch 305 not taken.
✓ Branch 306 taken 21 times.
✗ Branch 307 not taken.
✗ Branch 308 not taken.
✓ Branch 309 taken 11 times.
✗ Branch 310 not taken.
✗ Branch 311 not taken.
✓ Branch 312 taken 11 times.
✗ Branch 313 not taken.
✓ Branch 314 taken 11 times.
✗ Branch 315 not taken.
✓ Branch 316 taken 11 times.
✗ Branch 317 not taken.
✗ Branch 318 not taken.
✓ Branch 319 taken 11 times.
✗ Branch 320 not taken.
✓ Branch 321 taken 22 times.
✓ Branch 322 taken 11 times.
✗ Branch 323 not taken.
✓ Branch 324 taken 22 times.
✓ Branch 325 taken 11 times.
✗ Branch 326 not taken.
✓ Branch 327 taken 22 times.
✓ Branch 328 taken 11 times.
✓ Branch 329 taken 1 times.
✓ Branch 330 taken 22 times.
✓ Branch 331 taken 21208 times.
✓ Branch 332 taken 1 times.
✗ Branch 333 not taken.
✓ Branch 334 taken 21208 times.
✓ Branch 335 taken 1 times.
✗ Branch 336 not taken.
✗ Branch 337 not taken.
✓ Branch 338 taken 1 times.
✓ Branch 339 taken 33 times.
✗ Branch 340 not taken.
✓ Branch 341 taken 1 times.
✓ Branch 342 taken 33 times.
✗ Branch 343 not taken.
✓ Branch 344 taken 1 times.
✓ Branch 345 taken 33 times.
✗ Branch 346 not taken.
✓ Branch 347 taken 1 times.
✓ Branch 348 taken 33 times.
✗ Branch 349 not taken.
✓ Branch 350 taken 1 times.
✗ Branch 351 not taken.
✗ Branch 352 not taken.
✓ Branch 353 taken 1 times.
✗ Branch 354 not taken.
✗ Branch 355 not taken.
✓ Branch 356 taken 1 times.
✗ Branch 357 not taken.
✓ Branch 358 taken 1 times.
✗ Branch 359 not taken.
✓ Branch 360 taken 1 times.
✗ Branch 361 not taken.
✗ Branch 362 not taken.
✓ Branch 363 taken 1 times.
✗ Branch 364 not taken.
✗ Branch 365 not taken.
✓ Branch 366 taken 1 times.
✗ Branch 367 not taken.
✗ Branch 368 not taken.
✓ Branch 369 taken 1 times.
✗ Branch 370 not taken.
✗ Branch 371 not taken.
✓ Branch 372 taken 1 times.
✗ Branch 373 not taken.
✓ Branch 374 taken 2 times.
✓ Branch 375 taken 11 times.
✓ Branch 376 taken 2 times.
✓ Branch 377 taken 25 times.
✓ Branch 378 taken 11 times.
✓ Branch 379 taken 25 times.
✓ Branch 381 taken 20 times.
✗ Branch 382 not taken.
✓ Branch 384 taken 20 times.
✓ Branch 385 taken 8 times.
✗ Branch 386 not taken.
✓ Branch 387 taken 17 times.
✗ Branch 388 not taken.
✓ Branch 389 taken 2 times.
✓ Branch 390 taken 9 times.
✗ Branch 391 not taken.
✓ Branch 392 taken 2 times.
✓ Branch 393 taken 2 times.
✗ Branch 394 not taken.
✓ Branch 395 taken 2 times.
✓ Branch 396 taken 2 times.
✗ Branch 397 not taken.
✓ Branch 398 taken 2 times.
✓ Branch 399 taken 2 times.
✗ Branch 400 not taken.
✗ Branch 401 not taken.
✓ Branch 402 taken 2 times.
✗ Branch 403 not taken.
✗ Branch 404 not taken.
✗ Branch 405 not taken.
✗ Branch 406 not taken.
✗ Branch 407 not taken.
✗ Branch 408 not taken.
✗ Branch 409 not taken.
✗ Branch 410 not taken.
✗ Branch 411 not taken.
✗ Branch 412 not taken.
✗ Branch 413 not taken.
✗ Branch 414 not taken.
✗ Branch 415 not taken.
✗ Branch 416 not taken.
✓ Branch 417 taken 1 times.
✗ Branch 418 not taken.
✗ Branch 419 not taken.
✓ Branch 420 taken 1 times.
✗ Branch 421 not taken.
✗ Branch 422 not taken.
✓ Branch 423 taken 1 times.
✗ Branch 424 not taken.
✗ Branch 425 not taken.
✓ Branch 426 taken 1 times.
✗ Branch 427 not taken.
✗ Branch 428 not taken.
✓ Branch 429 taken 1 times.
✗ Branch 430 not taken.
✗ Branch 431 not taken.
✓ Branch 432 taken 1 times.
✗ Branch 433 not taken.
✗ Branch 434 not taken.
✓ Branch 435 taken 1 times.
✗ Branch 436 not taken.
✓ Branch 437 taken 2 times.
✓ Branch 438 taken 1 times.
✗ Branch 439 not taken.
✓ Branch 440 taken 2 times.
✓ Branch 441 taken 1 times.
✗ Branch 442 not taken.
✓ Branch 443 taken 2 times.
✓ Branch 444 taken 1 times.
✗ Branch 445 not taken.
✓ Branch 446 taken 3 times.
✗ Branch 447 not taken.
✓ Branch 448 taken 1 times.
✗ Branch 449 not taken.
✗ Branch 450 not taken.
✓ Branch 451 taken 1 times.
✗ Branch 452 not taken.
✗ Branch 453 not taken.
✓ Branch 454 taken 1 times.
✗ Branch 455 not taken.
✗ Branch 456 not taken.
✓ Branch 457 taken 1 times.
✗ Branch 458 not taken.
✗ Branch 459 not taken.
✓ Branch 460 taken 1 times.
✗ Branch 461 not taken.
✗ Branch 462 not taken.
✗ Branch 463 not taken.
✗ Branch 464 not taken.
✓ Branch 465 taken 25 times.
✗ Branch 466 not taken.
✓ Branch 467 taken 25 times.
✗ Branch 468 not taken.
✓ Branch 469 taken 12 times.
✗ Branch 470 not taken.
✗ Branch 471 not taken.
✓ Branch 472 taken 12 times.
✗ Branch 473 not taken.
✗ Branch 474 not taken.
✓ Branch 475 taken 12 times.
✗ Branch 476 not taken.
✓ Branch 478 taken 12 times.
✗ Branch 479 not taken.
✗ Branch 480 not taken.
✓ Branch 481 taken 2 times.
✗ Branch 482 not taken.
✓ Branch 484 taken 2 times.
✗ Branch 485 not taken.
✓ Branch 487 taken 2 times.
✗ Branch 488 not taken.
✗ Branch 489 not taken.
✓ Branch 490 taken 2 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 1 times.
✗ Branch 506 not taken.
✓ Branch 508 taken 1 times.
✗ Branch 509 not taken.
✓ Branch 511 taken 1 times.
✗ Branch 512 not taken.
✓ Branch 514 taken 1 times.
✗ Branch 515 not taken.
✓ Branch 517 taken 1 times.
✗ Branch 518 not taken.
✓ Branch 520 taken 1 times.
✗ Branch 521 not taken.
✓ Branch 523 taken 1 times.
✗ Branch 524 not taken.
✓ Branch 526 taken 1 times.
✗ Branch 527 not taken.
✓ Branch 529 taken 1 times.
✗ Branch 530 not taken.
✓ Branch 532 taken 1 times.
✗ Branch 533 not taken.
✓ Branch 534 taken 1 times.
✗ Branch 535 not taken.
✓ Branch 536 taken 1 times.
✗ Branch 537 not taken.
✗ Branch 538 not taken.
✓ Branch 539 taken 1 times.
✗ Branch 540 not taken.
✓ Branch 542 taken 12 times.
✗ Branch 543 not taken.
✓ Branch 544 taken 11 times.
✓ Branch 545 taken 1 times.
✗ Branch 546 not taken.
✓ Branch 548 taken 1 times.
✗ Branch 549 not taken.
✗ Branch 552 not taken.
✓ Branch 553 taken 1125 times.
✗ Branch 554 not taken.
✓ Branch 555 taken 1125 times.
✓ Branch 557 taken 49 times.
✗ Branch 558 not taken.
✓ Branch 560 taken 49 times.
✗ Branch 561 not taken.
✓ Branch 563 taken 49 times.
✗ Branch 564 not taken.
✓ Branch 566 taken 49 times.
✗ Branch 567 not taken.
✓ Branch 569 taken 2 times.
✗ Branch 570 not taken.
✓ Branch 572 taken 2 times.
✗ Branch 573 not taken.
✓ Branch 575 taken 2 times.
✗ Branch 576 not taken.
✓ Branch 578 taken 2 times.
✗ Branch 579 not taken.
✗ Branch 581 not taken.
✗ Branch 582 not taken.
✗ Branch 584 not taken.
✗ Branch 585 not taken.
✗ Branch 587 not taken.
✗ Branch 588 not taken.
✗ Branch 590 not taken.
✗ Branch 591 not taken.
✓ Branch 593 taken 1 times.
✗ Branch 594 not taken.
✓ Branch 596 taken 1 times.
✗ Branch 597 not taken.
✓ Branch 599 taken 1 times.
✗ Branch 600 not taken.
✓ Branch 602 taken 1 times.
✗ Branch 603 not taken.
✓ Branch 605 taken 12 times.
✗ Branch 606 not taken.
✓ Branch 608 taken 12 times.
✗ Branch 609 not taken.
✓ Branch 611 taken 12 times.
✗ Branch 612 not taken.
✓ Branch 614 taken 12 times.
✗ Branch 615 not taken.
✓ Branch 617 taken 1 times.
✗ Branch 618 not taken.
✓ Branch 620 taken 1 times.
✗ Branch 621 not taken.
✓ Branch 622 taken 1 times.
✗ Branch 623 not taken.
✓ Branch 624 taken 1 times.
✗ Branch 625 not taken.
✓ Branch 627 taken 1 times.
✗ Branch 628 not taken.
✓ Branch 630 taken 1 times.
✗ Branch 631 not taken.
✓ Branch 633 taken 1 times.
✗ Branch 634 not taken.
✓ Branch 636 taken 1 times.
✗ Branch 637 not taken.
✗ Branch 640 not taken.
✓ Branch 641 taken 25 times.
✗ Branch 642 not taken.
✓ Branch 643 taken 25 times.
✓ Branch 645 taken 19 times.
✗ Branch 646 not taken.
✓ Branch 648 taken 19 times.
✗ Branch 649 not taken.
✓ Branch 651 taken 19 times.
✗ Branch 652 not taken.
✓ Branch 654 taken 19 times.
✗ Branch 655 not taken.
✓ Branch 657 taken 2 times.
✗ Branch 658 not taken.
✓ Branch 660 taken 2 times.
✗ Branch 661 not taken.
✓ Branch 663 taken 2 times.
✗ Branch 664 not taken.
✓ Branch 666 taken 2 times.
✗ Branch 667 not taken.
✗ Branch 669 not taken.
✗ Branch 670 not taken.
✗ Branch 672 not taken.
✗ Branch 673 not taken.
✗ Branch 675 not taken.
✗ Branch 676 not taken.
✗ Branch 678 not taken.
✗ Branch 679 not taken.
✓ Branch 681 taken 1 times.
✗ Branch 682 not taken.
✓ Branch 684 taken 1 times.
✗ Branch 685 not taken.
✓ Branch 687 taken 1 times.
✗ Branch 688 not taken.
✓ Branch 690 taken 1 times.
✗ Branch 691 not taken.
✓ Branch 693 taken 1 times.
✗ Branch 694 not taken.
✓ Branch 696 taken 1 times.
✗ Branch 697 not taken.
✓ Branch 699 taken 1 times.
✗ Branch 700 not taken.
✓ Branch 702 taken 1 times.
✗ Branch 703 not taken.
✓ Branch 705 taken 1 times.
✗ Branch 706 not taken.
✓ Branch 708 taken 1 times.
✗ Branch 709 not taken.
✓ Branch 710 taken 1 times.
✗ Branch 711 not taken.
✓ Branch 712 taken 1 times.
✗ Branch 713 not taken.
✓ Branch 715 taken 1 times.
✗ Branch 716 not taken.
✓ Branch 718 taken 1 times.
✗ Branch 719 not taken.
✓ Branch 721 taken 1 times.
✗ Branch 722 not taken.
✓ Branch 724 taken 1 times.
✗ Branch 725 not taken.
✗ Branch 728 not taken.
✓ Branch 729 taken 25 times.
✗ Branch 730 not taken.
✓ Branch 731 taken 25 times.
✓ Branch 733 taken 10 times.
✗ Branch 734 not taken.
✓ Branch 736 taken 10 times.
✗ Branch 737 not taken.
✓ Branch 739 taken 10 times.
✗ Branch 740 not taken.
✓ Branch 742 taken 10 times.
✗ Branch 743 not taken.
✓ Branch 745 taken 2 times.
✗ Branch 746 not taken.
✓ Branch 748 taken 2 times.
✗ Branch 749 not taken.
✓ Branch 751 taken 2 times.
✗ Branch 752 not taken.
✓ Branch 754 taken 2 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 1 times.
✗ Branch 770 not taken.
✓ Branch 772 taken 1 times.
✗ Branch 773 not taken.
✓ Branch 775 taken 1 times.
✗ Branch 776 not taken.
✓ Branch 778 taken 1 times.
✗ Branch 779 not taken.
✓ Branch 781 taken 1 times.
✗ Branch 782 not taken.
✓ Branch 784 taken 1 times.
✗ Branch 785 not taken.
✓ Branch 787 taken 1 times.
✗ Branch 788 not taken.
✓ Branch 790 taken 1 times.
✗ Branch 791 not taken.
✓ Branch 793 taken 1 times.
✗ Branch 794 not taken.
✓ Branch 796 taken 1 times.
✗ Branch 797 not taken.
✓ Branch 798 taken 1 times.
✗ Branch 799 not taken.
✓ Branch 800 taken 1 times.
✗ Branch 801 not taken.
✓ Branch 803 taken 1 times.
✗ Branch 804 not taken.
✓ Branch 806 taken 1 times.
✗ Branch 807 not taken.
✓ Branch 809 taken 1 times.
✗ Branch 810 not taken.
✓ Branch 812 taken 1 times.
✗ Branch 813 not taken.
✗ Branch 816 not taken.
✓ Branch 817 taken 25 times.
✗ Branch 818 not taken.
✓ Branch 819 taken 25 times.
✓ Branch 821 taken 13 times.
✗ Branch 822 not taken.
✓ Branch 824 taken 13 times.
✗ Branch 825 not taken.
✓ Branch 827 taken 13 times.
✗ Branch 828 not taken.
✓ Branch 830 taken 13 times.
✗ Branch 831 not taken.
✓ Branch 833 taken 2 times.
✗ Branch 834 not taken.
✓ Branch 836 taken 2 times.
✗ Branch 837 not taken.
✓ Branch 839 taken 2 times.
✗ Branch 840 not taken.
✓ Branch 842 taken 2 times.
✗ Branch 843 not taken.
✗ Branch 845 not taken.
✗ Branch 846 not taken.
✗ Branch 848 not taken.
✗ Branch 849 not taken.
✗ Branch 851 not taken.
✗ Branch 852 not taken.
✗ Branch 854 not taken.
✗ Branch 855 not taken.
✓ Branch 857 taken 1 times.
✗ Branch 858 not taken.
✓ Branch 860 taken 1 times.
✗ Branch 861 not taken.
✓ Branch 863 taken 1 times.
✗ Branch 864 not taken.
✓ Branch 866 taken 1 times.
✗ Branch 867 not taken.
✓ Branch 869 taken 1 times.
✗ Branch 870 not taken.
✓ Branch 872 taken 1 times.
✗ Branch 873 not taken.
✓ Branch 875 taken 1 times.
✗ Branch 876 not taken.
✓ Branch 878 taken 1 times.
✗ Branch 879 not taken.
✓ Branch 881 taken 1 times.
✗ Branch 882 not taken.
✓ Branch 884 taken 1 times.
✗ Branch 885 not taken.
✓ Branch 886 taken 1 times.
✗ Branch 887 not taken.
✓ Branch 888 taken 1 times.
✗ Branch 889 not taken.
✓ Branch 891 taken 1 times.
✗ Branch 892 not taken.
✓ Branch 894 taken 1 times.
✗ Branch 895 not taken.
✓ Branch 897 taken 1 times.
✗ Branch 898 not taken.
✓ Branch 900 taken 1 times.
✗ Branch 901 not taken.
✗ Branch 904 not taken.
✓ Branch 905 taken 25 times.
✗ Branch 906 not taken.
✓ Branch 907 taken 25 times.
✓ Branch 909 taken 17 times.
✗ Branch 910 not taken.
✓ Branch 912 taken 17 times.
✗ Branch 913 not taken.
✓ Branch 915 taken 17 times.
✗ Branch 916 not taken.
✓ Branch 918 taken 17 times.
✗ Branch 919 not taken.
✓ Branch 921 taken 2 times.
✗ Branch 922 not taken.
✓ Branch 924 taken 2 times.
✗ Branch 925 not taken.
✓ Branch 927 taken 2 times.
✗ Branch 928 not taken.
✓ Branch 930 taken 2 times.
✗ Branch 931 not taken.
✗ Branch 933 not taken.
✗ Branch 934 not taken.
✗ Branch 936 not taken.
✗ Branch 937 not taken.
✗ Branch 939 not taken.
✗ Branch 940 not taken.
✗ Branch 942 not taken.
✗ Branch 943 not taken.
✓ Branch 945 taken 1 times.
✗ Branch 946 not taken.
✓ Branch 948 taken 1 times.
✗ Branch 949 not taken.
✓ Branch 951 taken 1 times.
✗ Branch 952 not taken.
✓ Branch 954 taken 1 times.
✗ Branch 955 not taken.
✓ Branch 957 taken 1 times.
✗ Branch 958 not taken.
✓ Branch 960 taken 1 times.
✗ Branch 961 not taken.
✓ Branch 963 taken 1 times.
✗ Branch 964 not taken.
✓ Branch 966 taken 1 times.
✗ Branch 967 not taken.
✓ Branch 969 taken 1 times.
✗ Branch 970 not taken.
✓ Branch 972 taken 1 times.
✗ Branch 973 not taken.
✓ Branch 974 taken 1 times.
✗ Branch 975 not taken.
✓ Branch 976 taken 1 times.
✗ Branch 977 not taken.
✓ Branch 979 taken 1 times.
✗ Branch 980 not taken.
✓ Branch 982 taken 1 times.
✗ Branch 983 not taken.
✓ Branch 985 taken 1 times.
✗ Branch 986 not taken.
✓ Branch 988 taken 1 times.
✗ Branch 989 not taken.
✗ Branch 992 not taken.
✓ Branch 993 taken 25 times.
✗ Branch 994 not taken.
✓ Branch 995 taken 25 times.
✓ Branch 997 taken 20 times.
✗ Branch 998 not taken.
✓ Branch 1000 taken 20 times.
✗ Branch 1001 not taken.
✓ Branch 1003 taken 20 times.
✗ Branch 1004 not taken.
✓ Branch 1006 taken 20 times.
✗ Branch 1007 not taken.
✓ Branch 1009 taken 2 times.
✗ Branch 1010 not taken.
✓ Branch 1012 taken 2 times.
✗ Branch 1013 not taken.
✓ Branch 1015 taken 2 times.
✗ Branch 1016 not taken.
✓ Branch 1018 taken 2 times.
✗ Branch 1019 not taken.
✗ Branch 1021 not taken.
✗ Branch 1022 not taken.
✗ Branch 1024 not taken.
✗ Branch 1025 not taken.
✗ Branch 1027 not taken.
✗ Branch 1028 not taken.
✗ Branch 1030 not taken.
✗ Branch 1031 not taken.
✓ Branch 1033 taken 1 times.
✗ Branch 1034 not taken.
✓ Branch 1036 taken 1 times.
✗ Branch 1037 not taken.
✓ Branch 1039 taken 1 times.
✗ Branch 1040 not taken.
✓ Branch 1042 taken 1 times.
✗ Branch 1043 not taken.
✓ Branch 1045 taken 1 times.
✗ Branch 1046 not taken.
✓ Branch 1048 taken 1 times.
✗ Branch 1049 not taken.
✓ Branch 1051 taken 1 times.
✗ Branch 1052 not taken.
✓ Branch 1054 taken 1 times.
✗ Branch 1055 not taken.
✓ Branch 1057 taken 1 times.
✗ Branch 1058 not taken.
✓ Branch 1060 taken 1 times.
✗ Branch 1061 not taken.
✓ Branch 1062 taken 1 times.
✗ Branch 1063 not taken.
✓ Branch 1064 taken 1 times.
✗ Branch 1065 not taken.
✓ Branch 1067 taken 1 times.
✗ Branch 1068 not taken.
✓ Branch 1070 taken 1 times.
✗ Branch 1071 not taken.
✓ Branch 1073 taken 1 times.
✗ Branch 1074 not taken.
✓ Branch 1076 taken 1 times.
✗ Branch 1077 not taken.
✗ Branch 1080 not taken.
✓ Branch 1081 taken 25 times.
✗ Branch 1082 not taken.
✓ Branch 1083 taken 25 times.
✓ Branch 1085 taken 15 times.
✗ Branch 1086 not taken.
✓ Branch 1088 taken 15 times.
✗ Branch 1089 not taken.
✓ Branch 1091 taken 15 times.
✗ Branch 1092 not taken.
✓ Branch 1094 taken 15 times.
✗ Branch 1095 not taken.
✓ Branch 1097 taken 2 times.
✗ Branch 1098 not taken.
✓ Branch 1100 taken 2 times.
✗ Branch 1101 not taken.
✓ Branch 1103 taken 2 times.
✗ Branch 1104 not taken.
✓ Branch 1106 taken 2 times.
✗ Branch 1107 not taken.
✗ Branch 1109 not taken.
✗ Branch 1110 not taken.
✗ Branch 1112 not taken.
✗ Branch 1113 not taken.
✗ Branch 1115 not taken.
✗ Branch 1116 not taken.
✗ Branch 1118 not taken.
✗ Branch 1119 not taken.
✓ Branch 1121 taken 1 times.
✗ Branch 1122 not taken.
✓ Branch 1124 taken 1 times.
✗ Branch 1125 not taken.
✓ Branch 1127 taken 1 times.
✗ Branch 1128 not taken.
✓ Branch 1130 taken 1 times.
✗ Branch 1131 not taken.
✓ Branch 1133 taken 1 times.
✗ Branch 1134 not taken.
✓ Branch 1136 taken 1 times.
✗ Branch 1137 not taken.
✓ Branch 1139 taken 1 times.
✗ Branch 1140 not taken.
✓ Branch 1142 taken 1 times.
✗ Branch 1143 not taken.
✓ Branch 1145 taken 1 times.
✗ Branch 1146 not taken.
✓ Branch 1148 taken 1 times.
✗ Branch 1149 not taken.
✓ Branch 1150 taken 1 times.
✗ Branch 1151 not taken.
✓ Branch 1152 taken 1 times.
✗ Branch 1153 not taken.
✓ Branch 1155 taken 1 times.
✗ Branch 1156 not taken.
✓ Branch 1158 taken 1 times.
✗ Branch 1159 not taken.
✓ Branch 1161 taken 1 times.
✗ Branch 1162 not taken.
✓ Branch 1164 taken 1 times.
✗ Branch 1165 not taken.
✗ Branch 1168 not taken.
✓ Branch 1169 taken 25 times.
✗ Branch 1170 not taken.
✓ Branch 1171 taken 25 times.
✓ Branch 1173 taken 18 times.
✗ Branch 1174 not taken.
✓ Branch 1176 taken 18 times.
✗ Branch 1177 not taken.
✓ Branch 1179 taken 18 times.
✗ Branch 1180 not taken.
✓ Branch 1182 taken 18 times.
✗ Branch 1183 not taken.
✓ Branch 1185 taken 2 times.
✗ Branch 1186 not taken.
✓ Branch 1188 taken 2 times.
✗ Branch 1189 not taken.
✓ Branch 1191 taken 2 times.
✗ Branch 1192 not taken.
✓ Branch 1194 taken 2 times.
✗ Branch 1195 not taken.
✗ Branch 1197 not taken.
✗ Branch 1198 not taken.
✗ Branch 1200 not taken.
✗ Branch 1201 not taken.
✗ Branch 1203 not taken.
✗ Branch 1204 not taken.
✗ Branch 1206 not taken.
✗ Branch 1207 not taken.
✓ Branch 1209 taken 1 times.
✗ Branch 1210 not taken.
✓ Branch 1212 taken 1 times.
✗ Branch 1213 not taken.
✓ Branch 1215 taken 1 times.
✗ Branch 1216 not taken.
✓ Branch 1218 taken 1 times.
✗ Branch 1219 not taken.
✓ Branch 1221 taken 1 times.
✗ Branch 1222 not taken.
✓ Branch 1224 taken 1 times.
✗ Branch 1225 not taken.
✓ Branch 1227 taken 1 times.
✗ Branch 1228 not taken.
✓ Branch 1230 taken 1 times.
✗ Branch 1231 not taken.
✓ Branch 1233 taken 1 times.
✗ Branch 1234 not taken.
✓ Branch 1236 taken 1 times.
✗ Branch 1237 not taken.
✓ Branch 1238 taken 1 times.
✗ Branch 1239 not taken.
✓ Branch 1240 taken 1 times.
✗ Branch 1241 not taken.
✓ Branch 1243 taken 1 times.
✗ Branch 1244 not taken.
✓ Branch 1246 taken 1 times.
✗ Branch 1247 not taken.
✓ Branch 1249 taken 1 times.
✗ Branch 1250 not taken.
✓ Branch 1252 taken 1 times.
✗ Branch 1253 not taken.
✗ Branch 1256 not taken.
✓ Branch 1257 taken 25 times.
✗ Branch 1258 not taken.
✓ Branch 1259 taken 25 times.
✓ Branch 1261 taken 22 times.
✗ Branch 1262 not taken.
✓ Branch 1264 taken 22 times.
✗ Branch 1265 not taken.
✓ Branch 1267 taken 22 times.
✗ Branch 1268 not taken.
✓ Branch 1270 taken 22 times.
✗ Branch 1271 not taken.
✓ Branch 1273 taken 2 times.
✗ Branch 1274 not taken.
✓ Branch 1276 taken 2 times.
✗ Branch 1277 not taken.
✓ Branch 1279 taken 2 times.
✗ Branch 1280 not taken.
✓ Branch 1282 taken 2 times.
✗ Branch 1283 not taken.
✗ Branch 1285 not taken.
✗ Branch 1286 not taken.
✗ Branch 1288 not taken.
✗ Branch 1289 not taken.
✗ Branch 1291 not taken.
✗ Branch 1292 not taken.
✗ Branch 1294 not taken.
✗ Branch 1295 not taken.
✓ Branch 1297 taken 1 times.
✗ Branch 1298 not taken.
✓ Branch 1300 taken 1 times.
✗ Branch 1301 not taken.
✓ Branch 1303 taken 1 times.
✗ Branch 1304 not taken.
✓ Branch 1306 taken 1 times.
✗ Branch 1307 not taken.
✓ Branch 1309 taken 1 times.
✗ Branch 1310 not taken.
✓ Branch 1312 taken 1 times.
✗ Branch 1313 not taken.
✓ Branch 1315 taken 1 times.
✗ Branch 1316 not taken.
✓ Branch 1318 taken 1 times.
✗ Branch 1319 not taken.
✓ Branch 1321 taken 1 times.
✗ Branch 1322 not taken.
✓ Branch 1324 taken 1 times.
✗ Branch 1325 not taken.
✓ Branch 1326 taken 1 times.
✗ Branch 1327 not taken.
✓ Branch 1328 taken 1 times.
✗ Branch 1329 not taken.
✓ Branch 1331 taken 1 times.
✗ Branch 1332 not taken.
✓ Branch 1334 taken 1 times.
✗ Branch 1335 not taken.
✓ Branch 1337 taken 1 times.
✗ Branch 1338 not taken.
✓ Branch 1340 taken 1 times.
✗ Branch 1341 not taken.
✗ Branch 1344 not taken.
✓ Branch 1345 taken 25 times.
✗ Branch 1346 not taken.
✓ Branch 1347 taken 25 times.
✓ Branch 1349 taken 25 times.
✗ Branch 1350 not taken.
✓ Branch 1352 taken 25 times.
✗ Branch 1353 not taken.
✓ Branch 1355 taken 25 times.
✗ Branch 1356 not taken.
✓ Branch 1358 taken 25 times.
✗ Branch 1359 not taken.
✓ Branch 1361 taken 2 times.
✗ Branch 1362 not taken.
✓ Branch 1364 taken 2 times.
✗ Branch 1365 not taken.
✓ Branch 1367 taken 2 times.
✗ Branch 1368 not taken.
✓ Branch 1370 taken 2 times.
✗ Branch 1371 not taken.
✗ Branch 1373 not taken.
✗ Branch 1374 not taken.
✗ Branch 1376 not taken.
✗ Branch 1377 not taken.
✗ Branch 1379 not taken.
✗ Branch 1380 not taken.
✗ Branch 1382 not taken.
✗ Branch 1383 not taken.
✓ Branch 1385 taken 1 times.
✗ Branch 1386 not taken.
✓ Branch 1388 taken 1 times.
✗ Branch 1389 not taken.
✓ Branch 1391 taken 1 times.
✗ Branch 1392 not taken.
✓ Branch 1394 taken 1 times.
✗ Branch 1395 not taken.
✓ Branch 1397 taken 1 times.
✗ Branch 1398 not taken.
✓ Branch 1400 taken 1 times.
✗ Branch 1401 not taken.
✓ Branch 1403 taken 1 times.
✗ Branch 1404 not taken.
✓ Branch 1406 taken 1 times.
✗ Branch 1407 not taken.
✓ Branch 1409 taken 1 times.
✗ Branch 1410 not taken.
✓ Branch 1412 taken 1 times.
✗ Branch 1413 not taken.
✓ Branch 1414 taken 1 times.
✗ Branch 1415 not taken.
✓ Branch 1416 taken 1 times.
✗ Branch 1417 not taken.
✓ Branch 1419 taken 1 times.
✗ Branch 1420 not taken.
✓ Branch 1422 taken 1 times.
✗ Branch 1423 not taken.
✓ Branch 1425 taken 1 times.
✗ Branch 1426 not taken.
✓ Branch 1428 taken 1 times.
✗ Branch 1429 not taken.
✗ Branch 1432 not taken.
✓ Branch 1433 taken 25 times.
✗ Branch 1434 not taken.
✓ Branch 1435 taken 25 times.
✓ Branch 1437 taken 11 times.
✗ Branch 1438 not taken.
✓ Branch 1440 taken 11 times.
✗ Branch 1441 not taken.
✓ Branch 1443 taken 11 times.
✗ Branch 1444 not taken.
✓ Branch 1446 taken 11 times.
✗ Branch 1447 not taken.
✓ Branch 1449 taken 2 times.
✗ Branch 1450 not taken.
✓ Branch 1452 taken 2 times.
✗ Branch 1453 not taken.
✓ Branch 1455 taken 2 times.
✗ Branch 1456 not taken.
✓ Branch 1458 taken 2 times.
✗ Branch 1459 not taken.
✗ Branch 1461 not taken.
✗ Branch 1462 not taken.
✗ Branch 1464 not taken.
✗ Branch 1465 not taken.
✗ Branch 1467 not taken.
✗ Branch 1468 not taken.
✗ Branch 1470 not taken.
✗ Branch 1471 not taken.
✓ Branch 1473 taken 1 times.
✗ Branch 1474 not taken.
✓ Branch 1476 taken 1 times.
✗ Branch 1477 not taken.
✓ Branch 1479 taken 1 times.
✗ Branch 1480 not taken.
✓ Branch 1482 taken 1 times.
✗ Branch 1483 not taken.
✓ Branch 1485 taken 1 times.
✗ Branch 1486 not taken.
✓ Branch 1488 taken 1 times.
✗ Branch 1489 not taken.
✓ Branch 1491 taken 1 times.
✗ Branch 1492 not taken.
✓ Branch 1494 taken 1 times.
✗ Branch 1495 not taken.
✓ Branch 1497 taken 1 times.
✗ Branch 1498 not taken.
✓ Branch 1500 taken 1 times.
✗ Branch 1501 not taken.
✓ Branch 1502 taken 1 times.
✗ Branch 1503 not taken.
✓ Branch 1504 taken 1 times.
✗ Branch 1505 not taken.
✓ Branch 1507 taken 1 times.
✗ Branch 1508 not taken.
✓ Branch 1510 taken 1 times.
✗ Branch 1511 not taken.
✓ Branch 1513 taken 1 times.
✗ Branch 1514 not taken.
✓ Branch 1516 taken 1 times.
✗ Branch 1517 not taken.
✗ Branch 1520 not taken.
✓ Branch 1521 taken 25 times.
✗ Branch 1522 not taken.
✓ Branch 1523 taken 25 times.
✓ Branch 1525 taken 14 times.
✗ Branch 1526 not taken.
✓ Branch 1528 taken 14 times.
✗ Branch 1529 not taken.
✓ Branch 1531 taken 14 times.
✗ Branch 1532 not taken.
✓ Branch 1534 taken 14 times.
✗ Branch 1535 not taken.
✓ Branch 1537 taken 2 times.
✗ Branch 1538 not taken.
✓ Branch 1540 taken 2 times.
✗ Branch 1541 not taken.
✓ Branch 1543 taken 2 times.
✗ Branch 1544 not taken.
✓ Branch 1546 taken 2 times.
✗ Branch 1547 not taken.
✗ Branch 1549 not taken.
✗ Branch 1550 not taken.
✗ Branch 1552 not taken.
✗ Branch 1553 not taken.
✗ Branch 1555 not taken.
✗ Branch 1556 not taken.
✗ Branch 1558 not taken.
✗ Branch 1559 not taken.
✓ Branch 1561 taken 1 times.
✗ Branch 1562 not taken.
✓ Branch 1564 taken 1 times.
✗ Branch 1565 not taken.
✓ Branch 1567 taken 1 times.
✗ Branch 1568 not taken.
✓ Branch 1570 taken 1 times.
✗ Branch 1571 not taken.
✓ Branch 1573 taken 1 times.
✗ Branch 1574 not taken.
✓ Branch 1576 taken 1 times.
✗ Branch 1577 not taken.
✓ Branch 1579 taken 1 times.
✗ Branch 1580 not taken.
✓ Branch 1582 taken 1 times.
✗ Branch 1583 not taken.
✓ Branch 1585 taken 1 times.
✗ Branch 1586 not taken.
✓ Branch 1588 taken 1 times.
✗ Branch 1589 not taken.
✓ Branch 1590 taken 1 times.
✗ Branch 1591 not taken.
✓ Branch 1592 taken 1 times.
✗ Branch 1593 not taken.
✓ Branch 1595 taken 1 times.
✗ Branch 1596 not taken.
✓ Branch 1598 taken 1 times.
✗ Branch 1599 not taken.
✓ Branch 1601 taken 1 times.
✗ Branch 1602 not taken.
✓ Branch 1604 taken 1 times.
✗ Branch 1605 not taken.
✗ Branch 1608 not taken.
✓ Branch 1609 taken 25 times.
✗ Branch 1610 not taken.
✓ Branch 1611 taken 25 times.
✓ Branch 1613 taken 18 times.
✗ Branch 1614 not taken.
✓ Branch 1616 taken 18 times.
✗ Branch 1617 not taken.
✓ Branch 1619 taken 18 times.
✗ Branch 1620 not taken.
✓ Branch 1622 taken 18 times.
✗ Branch 1623 not taken.
✓ Branch 1625 taken 2 times.
✗ Branch 1626 not taken.
✓ Branch 1628 taken 2 times.
✗ Branch 1629 not taken.
✓ Branch 1631 taken 2 times.
✗ Branch 1632 not taken.
✓ Branch 1634 taken 2 times.
✗ Branch 1635 not taken.
✗ Branch 1637 not taken.
✗ Branch 1638 not taken.
✗ Branch 1640 not taken.
✗ Branch 1641 not taken.
✗ Branch 1643 not taken.
✗ Branch 1644 not taken.
✗ Branch 1646 not taken.
✗ Branch 1647 not taken.
✓ Branch 1649 taken 1 times.
✗ Branch 1650 not taken.
✓ Branch 1652 taken 1 times.
✗ Branch 1653 not taken.
✓ Branch 1655 taken 1 times.
✗ Branch 1656 not taken.
✓ Branch 1658 taken 1 times.
✗ Branch 1659 not taken.
✓ Branch 1661 taken 1 times.
✗ Branch 1662 not taken.
✓ Branch 1664 taken 1 times.
✗ Branch 1665 not taken.
✓ Branch 1667 taken 1 times.
✗ Branch 1668 not taken.
✓ Branch 1670 taken 1 times.
✗ Branch 1671 not taken.
✓ Branch 1673 taken 1 times.
✗ Branch 1674 not taken.
✓ Branch 1676 taken 1 times.
✗ Branch 1677 not taken.
✓ Branch 1678 taken 1 times.
✗ Branch 1679 not taken.
✓ Branch 1680 taken 1 times.
✗ Branch 1681 not taken.
✓ Branch 1683 taken 1 times.
✗ Branch 1684 not taken.
✓ Branch 1686 taken 1 times.
✗ Branch 1687 not taken.
✓ Branch 1689 taken 1 times.
✗ Branch 1690 not taken.
✓ Branch 1692 taken 1 times.
✗ Branch 1693 not taken.
✗ Branch 1696 not taken.
✓ Branch 1697 taken 25 times.
✗ Branch 1698 not taken.
✓ Branch 1699 taken 25 times.
✓ Branch 1701 taken 21 times.
✗ Branch 1702 not taken.
✓ Branch 1704 taken 21 times.
✗ Branch 1705 not taken.
✓ Branch 1707 taken 21 times.
✗ Branch 1708 not taken.
✓ Branch 1710 taken 21 times.
✗ Branch 1711 not taken.
✓ Branch 1713 taken 2 times.
✗ Branch 1714 not taken.
✓ Branch 1716 taken 2 times.
✗ Branch 1717 not taken.
✓ Branch 1719 taken 2 times.
✗ Branch 1720 not taken.
✓ Branch 1722 taken 2 times.
✗ Branch 1723 not taken.
✗ Branch 1725 not taken.
✗ Branch 1726 not taken.
✗ Branch 1728 not taken.
✗ Branch 1729 not taken.
✗ Branch 1731 not taken.
✗ Branch 1732 not taken.
✗ Branch 1734 not taken.
✗ Branch 1735 not taken.
✓ Branch 1737 taken 1 times.
✗ Branch 1738 not taken.
✓ Branch 1740 taken 1 times.
✗ Branch 1741 not taken.
✓ Branch 1743 taken 1 times.
✗ Branch 1744 not taken.
✓ Branch 1746 taken 1 times.
✗ Branch 1747 not taken.
✓ Branch 1749 taken 1 times.
✗ Branch 1750 not taken.
✓ Branch 1752 taken 1 times.
✗ Branch 1753 not taken.
✓ Branch 1755 taken 1 times.
✗ Branch 1756 not taken.
✓ Branch 1758 taken 1 times.
✗ Branch 1759 not taken.
✓ Branch 1761 taken 1 times.
✗ Branch 1762 not taken.
✓ Branch 1764 taken 1 times.
✗ Branch 1765 not taken.
✓ Branch 1766 taken 1 times.
✗ Branch 1767 not taken.
✓ Branch 1768 taken 1 times.
✗ Branch 1769 not taken.
✓ Branch 1771 taken 1 times.
✗ Branch 1772 not taken.
✓ Branch 1774 taken 1 times.
✗ Branch 1775 not taken.
✓ Branch 1777 taken 1 times.
✗ Branch 1778 not taken.
✓ Branch 1780 taken 1 times.
✗ Branch 1781 not taken.
✗ Branch 1784 not taken.
✓ Branch 1785 taken 25 times.
✗ Branch 1786 not taken.
✓ Branch 1787 taken 25 times.
✓ Branch 1789 taken 11 times.
✗ Branch 1790 not taken.
✓ Branch 1792 taken 11 times.
✗ Branch 1793 not taken.
✓ Branch 1795 taken 11 times.
✗ Branch 1796 not taken.
✓ Branch 1798 taken 11 times.
✗ Branch 1799 not taken.
✓ Branch 1801 taken 2 times.
✗ Branch 1802 not taken.
✓ Branch 1804 taken 2 times.
✗ Branch 1805 not taken.
✓ Branch 1807 taken 2 times.
✗ Branch 1808 not taken.
✓ Branch 1810 taken 2 times.
✗ Branch 1811 not taken.
✗ Branch 1813 not taken.
✗ Branch 1814 not taken.
✗ Branch 1816 not taken.
✗ Branch 1817 not taken.
✗ Branch 1819 not taken.
✗ Branch 1820 not taken.
✗ Branch 1822 not taken.
✗ Branch 1823 not taken.
✓ Branch 1825 taken 1 times.
✗ Branch 1826 not taken.
✓ Branch 1828 taken 1 times.
✗ Branch 1829 not taken.
✓ Branch 1831 taken 1 times.
✗ Branch 1832 not taken.
✓ Branch 1834 taken 1 times.
✗ Branch 1835 not taken.
✓ Branch 1837 taken 1 times.
✗ Branch 1838 not taken.
✓ Branch 1840 taken 1 times.
✗ Branch 1841 not taken.
✓ Branch 1843 taken 1 times.
✗ Branch 1844 not taken.
✓ Branch 1846 taken 1 times.
✗ Branch 1847 not taken.
✓ Branch 1849 taken 1 times.
✗ Branch 1850 not taken.
✓ Branch 1852 taken 1 times.
✗ Branch 1853 not taken.
✓ Branch 1854 taken 1 times.
✗ Branch 1855 not taken.
✓ Branch 1856 taken 1 times.
✗ Branch 1857 not taken.
✓ Branch 1859 taken 1 times.
✗ Branch 1860 not taken.
✓ Branch 1862 taken 1 times.
✗ Branch 1863 not taken.
✓ Branch 1865 taken 1 times.
✗ Branch 1866 not taken.
✓ Branch 1868 taken 1 times.
✗ Branch 1869 not taken.
✗ Branch 1872 not taken.
✓ Branch 1873 taken 25 times.
✗ Branch 1874 not taken.
✓ Branch 1875 taken 25 times.
✓ Branch 1877 taken 14 times.
✗ Branch 1878 not taken.
✓ Branch 1880 taken 14 times.
✗ Branch 1881 not taken.
✓ Branch 1883 taken 14 times.
✗ Branch 1884 not taken.
✓ Branch 1886 taken 14 times.
✗ Branch 1887 not taken.
✓ Branch 1889 taken 2 times.
✗ Branch 1890 not taken.
✓ Branch 1892 taken 2 times.
✗ Branch 1893 not taken.
✓ Branch 1895 taken 2 times.
✗ Branch 1896 not taken.
✓ Branch 1898 taken 2 times.
✗ Branch 1899 not taken.
✗ Branch 1901 not taken.
✗ Branch 1902 not taken.
✗ Branch 1904 not taken.
✗ Branch 1905 not taken.
✗ Branch 1907 not taken.
✗ Branch 1908 not taken.
✗ Branch 1910 not taken.
✗ Branch 1911 not taken.
✓ Branch 1913 taken 1 times.
✗ Branch 1914 not taken.
✓ Branch 1916 taken 1 times.
✗ Branch 1917 not taken.
✓ Branch 1919 taken 1 times.
✗ Branch 1920 not taken.
✓ Branch 1922 taken 1 times.
✗ Branch 1923 not taken.
✓ Branch 1925 taken 1 times.
✗ Branch 1926 not taken.
✓ Branch 1928 taken 1 times.
✗ Branch 1929 not taken.
✓ Branch 1931 taken 1 times.
✗ Branch 1932 not taken.
✓ Branch 1934 taken 1 times.
✗ Branch 1935 not taken.
✓ Branch 1937 taken 1 times.
✗ Branch 1938 not taken.
✓ Branch 1940 taken 1 times.
✗ Branch 1941 not taken.
✓ Branch 1942 taken 1 times.
✗ Branch 1943 not taken.
✓ Branch 1944 taken 1 times.
✗ Branch 1945 not taken.
✓ Branch 1947 taken 1 times.
✗ Branch 1948 not taken.
✓ Branch 1950 taken 1 times.
✗ Branch 1951 not taken.
✓ Branch 1953 taken 1 times.
✗ Branch 1954 not taken.
✓ Branch 1956 taken 1 times.
✗ Branch 1957 not taken.
✗ Branch 1960 not taken.
✓ Branch 1961 taken 25 times.
✗ Branch 1962 not taken.
✓ Branch 1963 taken 25 times.
✓ Branch 1965 taken 18 times.
✗ Branch 1966 not taken.
✓ Branch 1968 taken 18 times.
✗ Branch 1969 not taken.
✓ Branch 1971 taken 18 times.
✗ Branch 1972 not taken.
✓ Branch 1974 taken 18 times.
✗ Branch 1975 not taken.
✓ Branch 1977 taken 2 times.
✗ Branch 1978 not taken.
✓ Branch 1980 taken 2 times.
✗ Branch 1981 not taken.
✓ Branch 1983 taken 2 times.
✗ Branch 1984 not taken.
✓ Branch 1986 taken 2 times.
✗ Branch 1987 not taken.
✗ Branch 1989 not taken.
✗ Branch 1990 not taken.
✗ Branch 1992 not taken.
✗ Branch 1993 not taken.
✗ Branch 1995 not taken.
✗ Branch 1996 not taken.
✗ Branch 1998 not taken.
✗ Branch 1999 not taken.
✓ Branch 2001 taken 1 times.
✗ Branch 2002 not taken.
✓ Branch 2004 taken 1 times.
✗ Branch 2005 not taken.
✓ Branch 2007 taken 1 times.
✗ Branch 2008 not taken.
✓ Branch 2010 taken 1 times.
✗ Branch 2011 not taken.
✓ Branch 2013 taken 1 times.
✗ Branch 2014 not taken.
✓ Branch 2016 taken 1 times.
✗ Branch 2017 not taken.
✓ Branch 2019 taken 1 times.
✗ Branch 2020 not taken.
✓ Branch 2022 taken 1 times.
✗ Branch 2023 not taken.
✓ Branch 2025 taken 1 times.
✗ Branch 2026 not taken.
✓ Branch 2028 taken 1 times.
✗ Branch 2029 not taken.
✓ Branch 2030 taken 1 times.
✗ Branch 2031 not taken.
✓ Branch 2032 taken 1 times.
✗ Branch 2033 not taken.
✓ Branch 2035 taken 1 times.
✗ Branch 2036 not taken.
✓ Branch 2038 taken 1 times.
✗ Branch 2039 not taken.
✓ Branch 2041 taken 1 times.
✗ Branch 2042 not taken.
✓ Branch 2044 taken 1 times.
✗ Branch 2045 not taken.
✗ Branch 2048 not taken.
✓ Branch 2049 taken 25 times.
✗ Branch 2050 not taken.
✓ Branch 2051 taken 25 times.
✓ Branch 2053 taken 21 times.
✗ Branch 2054 not taken.
✓ Branch 2056 taken 21 times.
✗ Branch 2057 not taken.
✓ Branch 2059 taken 21 times.
✗ Branch 2060 not taken.
✓ Branch 2062 taken 21 times.
✗ Branch 2063 not taken.
✓ Branch 2065 taken 2 times.
✗ Branch 2066 not taken.
✓ Branch 2068 taken 2 times.
✗ Branch 2069 not taken.
✓ Branch 2071 taken 2 times.
✗ Branch 2072 not taken.
✓ Branch 2074 taken 2 times.
✗ Branch 2075 not taken.
✗ Branch 2077 not taken.
✗ Branch 2078 not taken.
✗ Branch 2080 not taken.
✗ Branch 2081 not taken.
✗ Branch 2083 not taken.
✗ Branch 2084 not taken.
✗ Branch 2086 not taken.
✗ Branch 2087 not taken.
✓ Branch 2089 taken 1 times.
✗ Branch 2090 not taken.
✓ Branch 2092 taken 1 times.
✗ Branch 2093 not taken.
✓ Branch 2095 taken 1 times.
✗ Branch 2096 not taken.
✓ Branch 2098 taken 1 times.
✗ Branch 2099 not taken.
✓ Branch 2101 taken 1 times.
✗ Branch 2102 not taken.
✓ Branch 2104 taken 1 times.
✗ Branch 2105 not taken.
✓ Branch 2107 taken 1 times.
✗ Branch 2108 not taken.
✓ Branch 2110 taken 1 times.
✗ Branch 2111 not taken.
✗ Branch 2116 not taken.
✓ Branch 2117 taken 60 times.
✗ Branch 2118 not taken.
✓ Branch 2119 taken 60 times.
✗ Branch 2124 not taken.
✓ Branch 2125 taken 60 times.
✗ Branch 2126 not taken.
✓ Branch 2127 taken 60 times.
✗ Branch 2132 not taken.
✓ Branch 2133 taken 60 times.
✗ Branch 2134 not taken.
✓ Branch 2135 taken 60 times.
✗ Branch 2140 not taken.
✓ Branch 2141 taken 60 times.
✗ Branch 2142 not taken.
✓ Branch 2143 taken 60 times.
✗ Branch 2148 not taken.
✓ Branch 2149 taken 60 times.
✗ Branch 2150 not taken.
✓ Branch 2151 taken 60 times.
✗ Branch 2156 not taken.
✓ Branch 2157 taken 60 times.
✗ Branch 2158 not taken.
✓ Branch 2159 taken 60 times.
✗ Branch 2164 not taken.
✓ Branch 2165 taken 60 times.
✗ Branch 2166 not taken.
✓ Branch 2167 taken 60 times.
✗ Branch 2172 not taken.
✓ Branch 2173 taken 60 times.
✗ Branch 2174 not taken.
✓ Branch 2175 taken 60 times.
✗ Branch 2180 not taken.
✓ Branch 2181 taken 60 times.
✗ Branch 2182 not taken.
✓ Branch 2183 taken 60 times.
✗ Branch 2188 not taken.
✓ Branch 2189 taken 60 times.
✗ Branch 2190 not taken.
✓ Branch 2191 taken 60 times.
✗ Branch 2196 not taken.
✓ Branch 2197 taken 60 times.
✗ Branch 2198 not taken.
✓ Branch 2199 taken 60 times.
✗ Branch 2204 not taken.
✓ Branch 2205 taken 60 times.
✗ Branch 2206 not taken.
✓ Branch 2207 taken 60 times.
✗ Branch 2212 not taken.
✓ Branch 2213 taken 60 times.
✗ Branch 2214 not taken.
✓ Branch 2215 taken 60 times.
✗ Branch 2220 not taken.
✓ Branch 2221 taken 60 times.
✗ Branch 2222 not taken.
✓ Branch 2223 taken 60 times.
✗ Branch 2228 not taken.
✓ Branch 2229 taken 60 times.
✗ Branch 2230 not taken.
✓ Branch 2231 taken 60 times.
✗ Branch 2236 not taken.
✓ Branch 2237 taken 60 times.
✗ Branch 2238 not taken.
✓ Branch 2239 taken 60 times.
✗ Branch 2244 not taken.
✓ Branch 2245 taken 60 times.
✗ Branch 2246 not taken.
✓ Branch 2247 taken 60 times.
✗ Branch 2252 not taken.
✓ Branch 2253 taken 60 times.
✗ Branch 2254 not taken.
✓ Branch 2255 taken 60 times.
✗ Branch 2260 not taken.
✓ Branch 2261 taken 60 times.
✗ Branch 2262 not taken.
✓ Branch 2263 taken 60 times.
✗ Branch 2268 not taken.
✓ Branch 2269 taken 60 times.
✗ Branch 2270 not taken.
✓ Branch 2271 taken 60 times.
✗ Branch 2276 not taken.
✓ Branch 2277 taken 60 times.
✗ Branch 2278 not taken.
✓ Branch 2279 taken 60 times.
✗ Branch 2284 not taken.
✓ Branch 2285 taken 60 times.
✗ Branch 2286 not taken.
✓ Branch 2287 taken 60 times.
✗ Branch 2292 not taken.
✓ Branch 2293 taken 60 times.
✗ Branch 2294 not taken.
✓ Branch 2295 taken 60 times.
✗ Branch 2300 not taken.
✓ Branch 2301 taken 60 times.
✗ Branch 2302 not taken.
✓ Branch 2303 taken 60 times.
✓ Branch 2307 taken 1 times.
✗ Branch 2308 not taken.
✓ Branch 2310 taken 1 times.
✗ Branch 2311 not taken.
✓ Branch 2313 taken 1 times.
✗ Branch 2314 not taken.
✓ Branch 2316 taken 1 times.
✗ Branch 2317 not taken.
✓ Branch 2323 taken 1 times.
✗ Branch 2324 not taken.
✓ Branch 2326 taken 1 times.
✗ Branch 2327 not taken.
✓ Branch 2329 taken 1 times.
✗ Branch 2330 not taken.
✓ Branch 2332 taken 1 times.
✗ Branch 2333 not taken.
✓ Branch 2339 taken 1 times.
✗ Branch 2340 not taken.
✓ Branch 2342 taken 1 times.
✗ Branch 2343 not taken.
✓ Branch 2345 taken 1 times.
✗ Branch 2346 not taken.
✓ Branch 2348 taken 1 times.
✗ Branch 2349 not taken.
✓ Branch 2355 taken 1 times.
✗ Branch 2356 not taken.
✓ Branch 2358 taken 1 times.
✗ Branch 2359 not taken.
✓ Branch 2361 taken 1 times.
✗ Branch 2362 not taken.
✓ Branch 2364 taken 1 times.
✗ Branch 2365 not taken.
✓ Branch 2371 taken 1 times.
✗ Branch 2372 not taken.
✓ Branch 2374 taken 1 times.
✗ Branch 2375 not taken.
✓ Branch 2377 taken 1 times.
✗ Branch 2378 not taken.
✓ Branch 2380 taken 1 times.
✗ Branch 2381 not taken.
✓ Branch 2387 taken 1 times.
✗ Branch 2388 not taken.
✓ Branch 2390 taken 1 times.
✗ Branch 2391 not taken.
✓ Branch 2393 taken 1 times.
✗ Branch 2394 not taken.
✓ Branch 2396 taken 1 times.
✗ Branch 2397 not taken.
✓ Branch 2403 taken 1 times.
✗ Branch 2404 not taken.
✓ Branch 2406 taken 1 times.
✗ Branch 2407 not taken.
✓ Branch 2409 taken 1 times.
✗ Branch 2410 not taken.
✓ Branch 2412 taken 1 times.
✗ Branch 2413 not taken.
✓ Branch 2419 taken 1 times.
✗ Branch 2420 not taken.
✓ Branch 2422 taken 1 times.
✗ Branch 2423 not taken.
✓ Branch 2425 taken 1 times.
✗ Branch 2426 not taken.
✓ Branch 2428 taken 1 times.
✗ Branch 2429 not taken.
✓ Branch 2435 taken 1 times.
✗ Branch 2436 not taken.
✓ Branch 2438 taken 1 times.
✗ Branch 2439 not taken.
✓ Branch 2441 taken 1 times.
✗ Branch 2442 not taken.
✓ Branch 2444 taken 1 times.
✗ Branch 2445 not taken.
✓ Branch 2451 taken 1 times.
✗ Branch 2452 not taken.
✓ Branch 2454 taken 1 times.
✗ Branch 2455 not taken.
✓ Branch 2457 taken 1 times.
✗ Branch 2458 not taken.
✓ Branch 2460 taken 1 times.
✗ Branch 2461 not taken.
✓ Branch 2467 taken 1 times.
✗ Branch 2468 not taken.
✓ Branch 2470 taken 1 times.
✗ Branch 2471 not taken.
✓ Branch 2473 taken 1 times.
✗ Branch 2474 not taken.
✓ Branch 2476 taken 1 times.
✗ Branch 2477 not taken.
✓ Branch 2483 taken 1 times.
✗ Branch 2484 not taken.
✓ Branch 2486 taken 1 times.
✗ Branch 2487 not taken.
✓ Branch 2489 taken 1 times.
✗ Branch 2490 not taken.
✓ Branch 2492 taken 1 times.
✗ Branch 2493 not taken.
✓ Branch 2499 taken 1 times.
✗ Branch 2500 not taken.
✓ Branch 2502 taken 1 times.
✗ Branch 2503 not taken.
✓ Branch 2505 taken 1 times.
✗ Branch 2506 not taken.
✓ Branch 2508 taken 1 times.
✗ Branch 2509 not taken.
✓ Branch 2515 taken 1 times.
✗ Branch 2516 not taken.
✓ Branch 2518 taken 1 times.
✗ Branch 2519 not taken.
✓ Branch 2521 taken 1 times.
✗ Branch 2522 not taken.
✓ Branch 2524 taken 1 times.
✗ Branch 2525 not taken.
✓ Branch 2531 taken 1 times.
✗ Branch 2532 not taken.
✓ Branch 2534 taken 1 times.
✗ Branch 2535 not taken.
✓ Branch 2537 taken 1 times.
✗ Branch 2538 not taken.
✓ Branch 2540 taken 1 times.
✗ Branch 2541 not taken.
✓ Branch 2547 taken 1 times.
✗ Branch 2548 not taken.
✓ Branch 2550 taken 1 times.
✗ Branch 2551 not taken.
✓ Branch 2553 taken 1 times.
✗ Branch 2554 not taken.
✓ Branch 2556 taken 1 times.
✗ Branch 2557 not taken.
✓ Branch 2563 taken 1 times.
✗ Branch 2564 not taken.
✓ Branch 2566 taken 1 times.
✗ Branch 2567 not taken.
✓ Branch 2569 taken 1 times.
✗ Branch 2570 not taken.
✓ Branch 2572 taken 1 times.
✗ Branch 2573 not taken.
✓ Branch 2579 taken 1 times.
✗ Branch 2580 not taken.
✓ Branch 2582 taken 1 times.
✗ Branch 2583 not taken.
✓ Branch 2585 taken 1 times.
✗ Branch 2586 not taken.
✓ Branch 2588 taken 1 times.
✗ Branch 2589 not taken.
✓ Branch 2595 taken 1 times.
✗ Branch 2596 not taken.
✓ Branch 2598 taken 1 times.
✗ Branch 2599 not taken.
✓ Branch 2601 taken 1 times.
✗ Branch 2602 not taken.
✓ Branch 2604 taken 1 times.
✗ Branch 2605 not taken.
✓ Branch 2611 taken 1 times.
✗ Branch 2612 not taken.
✓ Branch 2614 taken 1 times.
✗ Branch 2615 not taken.
✓ Branch 2617 taken 1 times.
✗ Branch 2618 not taken.
✓ Branch 2620 taken 1 times.
✗ Branch 2621 not taken.
✓ Branch 2627 taken 1 times.
✗ Branch 2628 not taken.
✓ Branch 2630 taken 1 times.
✗ Branch 2631 not taken.
✓ Branch 2633 taken 1 times.
✗ Branch 2634 not taken.
✓ Branch 2636 taken 1 times.
✗ Branch 2637 not taken.
✓ Branch 2643 taken 1 times.
✗ Branch 2644 not taken.
✓ Branch 2646 taken 1 times.
✗ Branch 2647 not taken.
✓ Branch 2649 taken 1 times.
✗ Branch 2650 not taken.
✓ Branch 2652 taken 1 times.
✗ Branch 2653 not taken.
✓ Branch 2659 taken 1 times.
✗ Branch 2660 not taken.
✓ Branch 2662 taken 1 times.
✗ Branch 2663 not taken.
✓ Branch 2665 taken 1 times.
✗ Branch 2666 not taken.
✓ Branch 2668 taken 1 times.
✗ Branch 2669 not taken.
✓ Branch 2675 taken 1 times.
✗ Branch 2676 not taken.
✓ Branch 2678 taken 1 times.
✗ Branch 2679 not taken.
✓ Branch 2681 taken 1 times.
✗ Branch 2682 not taken.
✓ Branch 2684 taken 1 times.
✗ Branch 2685 not taken.
 28305870 { return *gridGeometry_; }
146
147 protected:
148
149 std::shared_ptr<const GridGeometry> gridGeometry_; //!< pointer to the constant grid geometry
150
151 private:
152 GridVolumeVariables curGridVolVars_; //!< the current volume variables (primary and secondary variables)
153 GridVolumeVariables prevGridVolVars_; //!< the previous time step's volume variables (primary and secondary variables)
154
155 GridFluxVariablesCache gridFluxVarsCache_; //!< the flux variables cache
156 };
157
158 } // end namespace Dumux
159
160 #endif
161