#include <test.hh>
List of all members.
Detailed Description
Commandline options.
Definition at line 98 of file test.hh.
|
Public Member Functions |
| Options (void) |
| Initialize options with defaults.
|
void | parse (int argc, char *argv[]) |
| Parse commandline arguments.
|
Public Attributes |
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 | reflection |
| Whether to use reflection copies.
|
bool | stop |
| Whether to stop on an error.
|
bool | log |
| Whether to log the tests.
|
Static Public Attributes |
static const int | defiter = 5 |
| Default number of iterations.
|
static const unsigned int | deffixprob = 10 |
| Default fixpoint probaibility.
|
Constructor & Destructor Documentation
Options::Options |
( |
void |
|
) |
[inline] |
Initialize options with defaults.
Definition at line 66 of file test.icc.
Member Function Documentation
void Options::parse |
( |
int |
argc, |
|
|
char * |
argv[] | |
|
) |
| | |
Parse commandline arguments.
Definition at line 115 of file test.cc.
Member Data Documentation
The random seed to be used.
Definition at line 101 of file test.hh.
Number of iterations for each test.
Definition at line 103 of file test.hh.
Default number of iterations.
Definition at line 105 of file test.hh.
The probability for computing a fixpoint.
Definition at line 107 of file test.hh.
Default fixpoint probaibility.
Definition at line 109 of file test.hh.
Whether to use reflection copies.
Definition at line 111 of file test.hh.
Whether to stop on an error.
Definition at line 113 of file test.hh.
Whether to log the tests.
Definition at line 115 of file test.hh.
The documentation for this class was generated from the following files: