GCC Code Coverage Report
Directory: . Exec Total Coverage
File: src/util/floatingpoint_size.cpp Lines: 10 10 100.0 %
Date: 2021-03-22 Branches: 8 64 12.5 %

Line Exec Source
1
/*********************                                                        */
2
/*! \file floatingpoint_size.cpp
3
 ** \verbatim
4
 ** Top contributors (to current version):
5
 **   Aina Niemetz, Martin Brain
6
 ** This file is part of the CVC4 project.
7
 ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
8
 ** in the top-level source directory and their institutional affiliations.
9
 ** All rights reserved.  See the file COPYING in the top-level source
10
 ** directory for licensing information.\endverbatim
11
 **
12
 ** \brief The class representing a floating-point format.
13
 **/
14
#include "util/floatingpoint_size.h"
15
16
#include "base/check.h"
17
18
namespace CVC4 {
19
20
7372
FloatingPointSize::FloatingPointSize(uint32_t exp_size, uint32_t sig_size)
21
7372
    : d_exp_size(exp_size), d_sig_size(sig_size)
22
{
23
7372
  Assert(validExponentSize(exp_size));
24
7372
  Assert(validSignificandSize(sig_size));
25
7372
}
26
27
30194
FloatingPointSize::FloatingPointSize(const FloatingPointSize& old)
28
30194
    : d_exp_size(old.d_exp_size), d_sig_size(old.d_sig_size)
29
{
30
30194
  Assert(validExponentSize(d_exp_size));
31
30194
  Assert(validSignificandSize(d_sig_size));
32
30194
}
33
34
}  // namespace CVC4