List of all members.
Public Member Functions
| ||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. |
| ||Whether to stop on an error. |
| ||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. |
Definition at line 80 of file test.hh.
Constructor & Destructor Documentation
Initialize options with defaults.
Definition at line 45 of file test.hpp.
Member Function Documentation
Parse commandline arguments.
Definition at line 117 of file test.cpp.
Member Data Documentation
The random seed to be used.
Definition at line 83 of file test.hh.
Number of iterations for each test.
Definition at line 85 of file test.hh.
Default number of iterations.
Definition at line 87 of file test.hh.
The probability for computing a fixpoint.
Definition at line 89 of file test.hh.
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: