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

Method saveExecution

cp-profiler/src/cpprofiler/conductor.cpp:492–500  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

490}
491
492void Conductor::saveExecution(Execution *e)
493{
494
495 const auto file_path = QFileDialog::getSaveFileName(nullptr, "Save Execution To a File").toStdString();
496
497 db_handler::save_execution(e, file_path.c_str());
498
499 qDebug() << "execution saved";
500}
501
502void Conductor::readSettings()
503{

Callers

nothing calls this directly

Calls 1

save_executionFunction · 0.85

Tested by

no test coverage detected