Commandline options.
More...
#include <test.hh>
Commandline options.
Definition at line 80 of file test.hh.
◆ Options()
Test::Options::Options |
( |
void |
| ) |
|
|
inline |
Initialize options with defaults.
Definition at line 45 of file test.hpp.
◆ parse()
void Test::Options::parse |
( |
int |
argc, |
|
|
char * |
argv[] |
|
) |
| |
Parse commandline arguments.
Definition at line 124 of file test.cpp.
◆ seed
unsigned int Test::Options::seed |
The random seed to be used.
Definition at line 83 of file test.hh.
◆ iter
unsigned int Test::Options::iter |
Number of iterations for each test.
Definition at line 85 of file test.hh.
◆ defiter
const int Test::Options::defiter = 5 |
|
static |
Default number of iterations.
Definition at line 87 of file test.hh.
◆ fixprob
unsigned int Test::Options::fixprob |
The probability for computing a fixpoint.
Definition at line 89 of file test.hh.
◆ deffixprob
const unsigned int Test::Options::deffixprob = 10 |
|
static |
Default fixpoint probaibility.
Definition at line 91 of file test.hh.
◆ stop
Whether to stop on an error.
Definition at line 93 of file test.hh.
◆ log
Whether to log the tests.
Definition at line 95 of file test.hh.
The documentation for this class was generated from the following files: