MCPcopy Create free account
hub / github.com/csmith-project/csmith / DFSProgramGenerator

Class DFSProgramGenerator

src/DFSProgramGenerator.h:38–62  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

36class OutputMgr;
37
38class DFSProgramGenerator : public AbsProgramGenerator {
39public:
40 DFSProgramGenerator(int argc, char *argv[], unsigned long seed);
41
42 virtual ~DFSProgramGenerator();
43
44 virtual OutputMgr* getOutputMgr() { return output_mgr_; }
45
46 virtual void goGenerator();
47
48 virtual void initialize();
49
50 virtual std::string get_count_prefix(const std::string &name);
51
52private:
53 int argc_;
54
55 char **argv_;
56
57 unsigned long seed_;
58
59 INT64 good_count_;
60
61 OutputMgr *output_mgr_;
62};
63
64#endif

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected