codefuse-ai
diff --git a/‎godel-script/godel-frontend/src/engine.cpp
Copy file name to clipboardExpand all lines: godel-script/godel-frontend/src/engine.cpp
+4Lines changed: 4 additions & 0 deletions b/‎godel-script/godel-frontend/src/engine.cpp
Copy file name to clipboardExpand all lines: godel-script/godel-frontend/src/engine.cpp
+4Lines changed: 4 additions & 0 deletions
@@ -397,8 +397,12 @@ void engine::run_souffle(const std::string& souffle_content,
     if (config.count(option::cli_enable_souffle_profiling)) {
         argv.push_back("--profile=souffle.prof.log");
         argv.push_back("--profile-frequency");
+        argv.push_back("--index-stats");
     }
 
+    // enable souffle auto schedule, for experimental use only
+    // argv.push_back("--auto-schedule=souffle.prof.log");
+
     // null terminator
     argv.push_back(nullptr);