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

Method init

src/DeltaMonitor.cpp:124–140  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

122}
123
124bool
125DeltaMonitor::init(std::string &msg, const std::string &monitor_type, const std::string &o_file)
126{
127 assert(!monitor_type.empty());
128
129 if (o_file.empty()) {
130 msg = "please specify the file for delta output by --delta-output [file]";
131 return false;
132 }
133 DeltaMonitor::output_file_ = o_file;
134
135 if (!DeltaMonitor::set_delta_type(msg, monitor_type)) {
136 return false;
137 }
138
139 return true;
140}
141
142bool
143DeltaMonitor::init_for_running(std::string &msg, const std::string &monitor_type,

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected