| 81 | } |
| 82 | |
| 83 | void |
| 84 | DFSProgramGenerator::goGenerator() |
| 85 | { |
| 86 | DFSRndNumGenerator *impl = |
| 87 | dynamic_cast<DFSRndNumGenerator*>(RandomNumber::GetRndNumGenerator()); |
| 88 | //unsigned long long count = 0; |
| 89 | GenerateAllTypes(); |
| 90 | output_mgr_->OutputStructUnions(cout); |
| 91 | while(!impl->get_all_done()) { |
| 92 | Error::set_error(SUCCESS); |
| 93 | GenerateFunctions(); |
| 94 | if (Error::get_error() == SUCCESS) { |
| 95 | //count++; |
| 96 | //if (count >= 47376) |
| 97 | //cout << "here" << std::endl; |
| 98 | output_mgr_->OutputHeader(argc_, argv_, seed_); |
| 99 | output_mgr_->Output(); |
| 100 | OutputMgr::really_outputln(cout); |
| 101 | good_count_++; |
| 102 | } |
| 103 | impl->reset_state(); |
| 104 | Function::doFinalization(); |
| 105 | VariableSelector::doFinalization(); |
| 106 | reset_gensym(); |
| 107 | PartialExpander::restore_init_values(); |
| 108 | //cout << "count = " << count << std::endl; |
| 109 | } |
| 110 | } |
| 111 |
no test coverage detected