GCC Code Coverage Report
Directory: . Exec Total Coverage
File: build-coverage/src/options/main_options.cpp Lines: 24 36 66.7 %
Date: 2021-03-22 Branches: 2 4 50.0 %

Line Exec Source
1
/*********************                                                        */
2
/*! \file module_template.cpp
3
 ** \verbatim
4
 ** Top contributors (to current version):
5
 **   Mathias Preiner
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 Option template for option modules.
13
 **
14
 ** For each <module>_options.toml configuration file, mkoptions.py
15
 ** expands this template and generates a <module>_options.cpp file.
16
 **/
17
18
#include "options/options_holder.h"
19
#include "base/check.h"
20
21
namespace CVC4 {
22
23
5434
template <> const options::earlyExit__option_t::type& Options::operator[](
24
    options::earlyExit__option_t) const
25
{
26
5434
  return d_holder->earlyExit;
27
}
28
5434
template <> bool Options::wasSetByUser(options::earlyExit__option_t) const
29
{
30
5434
  return d_holder->earlyExit__setByUser__;
31
}
32
5456
template <> const options::help__option_t::type& Options::operator[](
33
    options::help__option_t) const
34
{
35
5456
  return d_holder->help;
36
}
37
template <> bool Options::wasSetByUser(options::help__option_t) const
38
{
39
  return d_holder->help__setByUser__;
40
}
41
5456
template <> void Options::set(
42
    options::interactive__option_t,
43
    const options::interactive__option_t::type& x)
44
{
45
5456
  d_holder->interactive = x;
46
5456
}
47
5455
template <> const options::interactive__option_t::type& Options::operator[](
48
    options::interactive__option_t) const
49
{
50
5455
  return d_holder->interactive;
51
}
52
5456
template <> bool Options::wasSetByUser(options::interactive__option_t) const
53
{
54
5456
  return d_holder->interactive__setByUser__;
55
}
56
28
template <> const options::interactivePrompt__option_t::type& Options::operator[](
57
    options::interactivePrompt__option_t) const
58
{
59
28
  return d_holder->interactivePrompt;
60
}
61
template <> bool Options::wasSetByUser(options::interactivePrompt__option_t) const
62
{
63
  return d_holder->interactivePrompt__setByUser__;
64
}
65
15113
template <> const options::seed__option_t::type& Options::operator[](
66
    options::seed__option_t) const
67
{
68
15113
  return d_holder->seed;
69
}
70
template <> bool Options::wasSetByUser(options::seed__option_t) const
71
{
72
  return d_holder->seed__setByUser__;
73
}
74
5456
template <> const options::segvSpin__option_t::type& Options::operator[](
75
    options::segvSpin__option_t) const
76
{
77
5456
  return d_holder->segvSpin;
78
}
79
template <> bool Options::wasSetByUser(options::segvSpin__option_t) const
80
{
81
  return d_holder->segvSpin__setByUser__;
82
}
83
5455
template <> const options::tearDownIncremental__option_t::type& Options::operator[](
84
    options::tearDownIncremental__option_t) const
85
{
86
5455
  return d_holder->tearDownIncremental;
87
}
88
template <> bool Options::wasSetByUser(options::tearDownIncremental__option_t) const
89
{
90
  return d_holder->tearDownIncremental__setByUser__;
91
}
92
5456
template <> const options::version__option_t::type& Options::operator[](
93
    options::version__option_t) const
94
{
95
5456
  return d_holder->version;
96
}
97
template <> bool Options::wasSetByUser(options::version__option_t) const
98
{
99
  return d_holder->version__setByUser__;
100
}
101
102
103
namespace options {
104
105
thread_local struct earlyExit__option_t earlyExit;
106
thread_local struct help__option_t help;
107
thread_local struct interactive__option_t interactive;
108
thread_local struct interactivePrompt__option_t interactivePrompt;
109
thread_local struct seed__option_t seed;
110
thread_local struct segvSpin__option_t segvSpin;
111
thread_local struct tearDownIncremental__option_t tearDownIncremental;
112
thread_local struct version__option_t version;
113
114
115
116
}  // namespace options
117
26676
}  // namespace CVC4