| 95 | Options opt; |
| 96 | |
| 97 | void report_error(const std::string& name, unsigned int seed, Options& options, std::ostream& ostream) { |
| 98 | ostream << "Options: -seed " << seed; |
| 99 | if (options.fixprob != Test::Options::deffixprob) |
| 100 | ostream << " -fixprob " << options.fixprob; |
| 101 | ostream << " -test " << name << std::endl; |
| 102 | if (options.log) |
| 103 | ostream << olog.str(); |
| 104 | } |
| 105 | |
| 106 | void |
| 107 | Options::parse(int argc, char* argv[]) { |