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