MCPcopy Create free account
hub / github.com/MiniZinc/MiniZincIDE / insert_nogood

Function insert_nogood

cp-profiler/src/cpprofiler/db_handler.cpp:230–242  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

228}
229
230static void insert_nogood(QSqlQuery *stmt, NogoodItem ngi)
231{
232
233 stmt->finish();
234
235 stmt->addBindValue(static_cast<int>(ngi.nid));
236 stmt->addBindValue(ngi.text.c_str());
237
238 if (!stmt->exec())
239 {
240 print("ERROR: could not execute DB statement");
241 }
242}
243
244static void save_nogoods(QSqlDatabase *db, const Execution *ex)
245{

Callers 1

save_nogoodsFunction · 0.85

Calls 1

printFunction · 0.50

Tested by

no test coverage detected