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

Function load_execution

cp-profiler/src/cpprofiler/tests/execution_test.cpp:385–398  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

383}
384
385static void load_execution(Conductor &c, const char *path)
386{
387
388 auto ex = db_handler::load_execution(path);
389
390 if (!ex)
391 {
392 print("could not load the execution");
393 }
394 else
395 {
396 c.addNewExecution(ex);
397 }
398}
399
400static void save_and_load(Conductor &c, const char *path)
401{

Callers 4

comparison2Function · 0.70
save_and_loadFunction · 0.70
ss_analysisFunction · 0.70
nogood_dialogFunction · 0.70

Calls 2

addNewExecutionMethod · 0.80
printFunction · 0.50

Tested by

no test coverage detected