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