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

Method init_for_running

src/DeltaMonitor.cpp:142–167  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

140}
141
142bool
143DeltaMonitor::init_for_running(std::string &msg, const std::string &monitor_type,
144 const std::string &o_file, const std::string &i_file, bool no_delta)
145{
146 assert(!monitor_type.empty());
147
148 if (i_file.empty()) {
149 msg = "please specify the file for delta input by --delta-input [file]";
150 return false;
151 }
152 if (o_file.empty()) {
153 DeltaMonitor::output_file_ = i_file;
154 }
155 else {
156 DeltaMonitor::output_file_ = o_file;
157 }
158 DeltaMonitor::input_file_ = i_file;
159
160 if (!DeltaMonitor::set_delta_type(msg, monitor_type)) {
161 return false;
162 }
163
164 DeltaMonitor::is_delta_ = true;
165 DeltaMonitor::no_delta_reduction_ = no_delta;
166 return true;
167}
168
169void
170DeltaMonitor::OutputStatistics(ostream &out)

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected