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

Function load_execution

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

Source from the content-addressed store, hash-verified

411}
412
413std::shared_ptr<Execution> load_execution(const char *path, ExecID eid)
414{
415 QSqlDatabase db = QSqlDatabase::addDatabase("QSQLITE");
416 db.setDatabaseName(path);
417
418 if (!db.open())
419 return nullptr;
420
421 auto ex = std::make_shared<Execution>(path, eid);
422
423 read_nodes(&db, *ex);
424
425 read_bookmarks(&db, *ex);
426
427 read_nogoods(&db, *ex);
428
429 read_info(&db, *ex);
430
431 ex->tree().setDone();
432
433 db.close();
434
435 return ex;
436}
437} // namespace db_handler
438} // namespace cpprofiler

Callers 1

ConductorMethod · 0.70

Calls 5

read_nodesFunction · 0.85
read_bookmarksFunction · 0.85
read_nogoodsFunction · 0.85
read_infoFunction · 0.85
setDoneMethod · 0.80

Tested by

no test coverage detected