Merge pull request #2292 from SamArch27/master

Rename index-stats to emit-statistics for auto-scheduler
souffle-lang · Jul 1, 2022 · ecee065 · ecee065
2 parents a1b949e + 89c831c
commit ecee065
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 6 deletions.
diff --git a/src/ast/analysis/JoinSize.cpp b/src/ast/analysis/JoinSize.cpp
@@ -134,7 +134,7 @@ std::vector<analysis::StratumJoinSizeEstimates> JoinSizeAnalysis::computeJoinSiz
     joinSizeStatements.resize(sccOrdering.size());
 
     auto& config = Global::config();
-    if (!config.has("index-stats")) {
+    if (!config.has("emit-statistics")) {
         return joinSizeStatements;
     }
 

diff --git a/src/main.cpp b/src/main.cpp
@@ -435,7 +435,8 @@ int main(int argc, char** argv) {
                 {"dl-program", 'o', "FILE", "", false,
                         "Generate C++ source code, written to <FILE>, and compile this to a "
                         "binary executable (without executing it)."},
-                {"index-stats", '\x9', "", "", false, "Enable collection of index statistics"},
+                {"emit-statistics", '\x9', "", "", false,
+                        "Enable collection of statistics for auto-scheduling"},
                 {"live-profile", '\1', "", "", false, "Enable live profiling."},
                 {"profile", 'p', "FILE", "", false, "Enable profiling, and write profile data to <FILE>."},
                 {"profile-frequency", '\2', "", "", false, "Enable the frequency counter in the profiler."},
@@ -562,10 +563,10 @@ int main(int argc, char** argv) {
             Global::config().set("profile");
         }
 
-        /* if index-stats is set then check that the profiler is also set */
-        if (Global::config().has("index-stats")) {
+        /* if emit-statistics is set then check that the profiler is also set */
+        if (Global::config().has("emit-statistics")) {
             if (!Global::config().has("profile"))
-                throw std::runtime_error("must be profiling to collect index-stats");
+                throw std::runtime_error("must be profiling to use emit-statistics");
         }
 
     } catch (std::exception& e) {

diff --git a/tests/scheduler/CMakeLists.txt b/tests/scheduler/CMakeLists.txt
@@ -24,7 +24,7 @@ function(SOUFFLE_ADD_SCHEDULER_TEST TEST_NAME)
 
     set(QUALIFIED_TEST_NAME scheduler/${TEST_NAME}_stats_collection)
     # Run stats collection
-    set(SOUFFLE_PARAMS "-p" "${OUTPUT_DIR}/${TEST_NAME}.prof" "--index-stats")
+    set(SOUFFLE_PARAMS "-p" "${OUTPUT_DIR}/${TEST_NAME}.prof" "--emit-statistics")
     add_test(NAME ${QUALIFIED_TEST_NAME}
       COMMAND
       ${Python3_EXECUTABLE} ${PROJECT_SOURCE_DIR}/cmake/redirect.py