Rename incremental_max_coverage_stack because the name is too long.

p4lang · Nov 10, 2022 · bceeb92 · bceeb92
1 parent 0974b37
commit bceeb92
Show file tree

Hide file tree

Showing 6 changed files with 13 additions and 15 deletions.
diff --git a/backends/p4tools/modules/testgen/CMakeLists.txt b/backends/p4tools/modules/testgen/CMakeLists.txt
@@ -24,8 +24,8 @@ set(
   core/exploration_strategy/selected_branches.cpp
   core/exploration_strategy/random_access_stack.cpp
   core/exploration_strategy/linear_enumeration.cpp
-  core/exploration_strategy/random_access_max_coverage.cpp
-  core/exploration_strategy/incremental_max_coverage_stack.cpp
+  core/exploration_strategy/rnd_access_max_coverage.cpp
+  core/exploration_strategy/inc_max_coverage_stack.cpp
   core/exploration_strategy/exploration_strategy.cpp
   core/target.cpp
 

diff --git a/...rategy/incremental_max_coverage_stack.cpp → ...ation_strategy/inc_max_coverage_stack.cpp b/...rategy/incremental_max_coverage_stack.cpp → ...ation_strategy/inc_max_coverage_stack.cpp
@@ -1,4 +1,4 @@
-#include "backends/p4tools/modules/testgen/core/exploration_strategy/incremental_max_coverage_stack.h"
+#include "backends/p4tools/modules/testgen/core/exploration_strategy/inc_max_coverage_stack.h"
 
 #include <algorithm>
 #include <cstdlib>

diff --git a/...strategy/incremental_max_coverage_stack.h → ...oration_strategy/inc_max_coverage_stack.h b/...strategy/incremental_max_coverage_stack.h → ...oration_strategy/inc_max_coverage_stack.h
@@ -1,5 +1,5 @@
-#ifndef BACKENDS_P4TOOLS_MODULES_TESTGEN_CORE_EXPLORATION_STRATEGY_INCREMENTAL_MAX_COVERAGE_STACK_H_
-#define BACKENDS_P4TOOLS_MODULES_TESTGEN_CORE_EXPLORATION_STRATEGY_INCREMENTAL_MAX_COVERAGE_STACK_H_
+#ifndef BACKENDS_P4TOOLS_MODULES_TESTGEN_CORE_EXPLORATION_STRATEGY_INC_MAX_COVERAGE_STACK_H_
+#define BACKENDS_P4TOOLS_MODULES_TESTGEN_CORE_EXPLORATION_STRATEGY_INC_MAX_COVERAGE_STACK_H_
 
 #include <cstdint>
 #include <ctime>
@@ -87,5 +87,4 @@ class IncrementalMaxCoverageStack : public ExplorationStrategy {
 
 }  // namespace P4Tools
 
-#endif /* BACKENDS_P4TOOLS_MODULES_TESTGEN_CORE_EXPLORATION_STRATEGY_INCREMENTAL_MAX_COVERAGE_STACK_H_ \
-        */
+#endif /* BACKENDS_P4TOOLS_MODULES_TESTGEN_CORE_EXPLORATION_STRATEGY_INC_MAX_COVERAGE_STACK_H_ */
diff --git a/...n_strategy/random_access_max_coverage.cpp → ...tion_strategy/rnd_access_max_coverage.cpp b/...n_strategy/random_access_max_coverage.cpp → ...tion_strategy/rnd_access_max_coverage.cpp
@@ -1,4 +1,4 @@
-#include "backends/p4tools/modules/testgen/core/exploration_strategy/random_access_max_coverage.h"
+#include "backends/p4tools/modules/testgen/core/exploration_strategy/rnd_access_max_coverage.h"
 
 #include <algorithm>
 #include <cstdlib>

diff --git a/...ion_strategy/random_access_max_coverage.h → ...ration_strategy/rnd_access_max_coverage.h b/...ion_strategy/random_access_max_coverage.h → ...ration_strategy/rnd_access_max_coverage.h
@@ -1,5 +1,5 @@
-#ifndef BACKENDS_P4TOOLS_MODULES_TESTGEN_CORE_EXPLORATION_STRATEGY_RANDOM_ACCESS_MAX_COVERAGE_H_
-#define BACKENDS_P4TOOLS_MODULES_TESTGEN_CORE_EXPLORATION_STRATEGY_RANDOM_ACCESS_MAX_COVERAGE_H_
+#ifndef BACKENDS_P4TOOLS_MODULES_TESTGEN_CORE_EXPLORATION_STRATEGY_RND_ACCESS_MAX_COVERAGE_H_
+#define BACKENDS_P4TOOLS_MODULES_TESTGEN_CORE_EXPLORATION_STRATEGY_RND_ACCESS_MAX_COVERAGE_H_
 
 #include <cstdint>
 #include <ctime>
@@ -22,7 +22,7 @@
 #include "ir/ir.h"
 
 #include "backends/p4tools/modules/testgen/core/exploration_strategy/exploration_strategy.h"
-#include "backends/p4tools/modules/testgen/core/exploration_strategy/incremental_max_coverage_stack.h"
+#include "backends/p4tools/modules/testgen/core/exploration_strategy/inc_max_coverage_stack.h"
 #include "backends/p4tools/modules/testgen/core/program_info.h"
 #include "backends/p4tools/modules/testgen/core/small_step/small_step.h"
 #include "backends/p4tools/modules/testgen/lib/execution_state.h"
@@ -102,5 +102,4 @@ class RandomAccessMaxCoverage : public IncrementalMaxCoverageStack {
 
 }  // namespace P4Tools
 
-#endif /* BACKENDS_P4TOOLS_MODULES_TESTGEN_CORE_EXPLORATION_STRATEGY_RANDOM_ACCESS_MAX_COVERAGE_H_ \
-        */
+#endif /* BACKENDS_P4TOOLS_MODULES_TESTGEN_CORE_EXPLORATION_STRATEGY_RND_ACCESS_MAX_COVERAGE_H_ */
diff --git a/backends/p4tools/modules/testgen/testgen.cpp b/backends/p4tools/modules/testgen/testgen.cpp
@@ -18,11 +18,11 @@
 #include "lib/error.h"
 
 #include "backends/p4tools/modules/testgen/core/exploration_strategy/exploration_strategy.h"
-#include "backends/p4tools/modules/testgen/core/exploration_strategy/incremental_max_coverage_stack.h"
+#include "backends/p4tools/modules/testgen/core/exploration_strategy/inc_max_coverage_stack.h"
 #include "backends/p4tools/modules/testgen/core/exploration_strategy/incremental_stack.h"
 #include "backends/p4tools/modules/testgen/core/exploration_strategy/linear_enumeration.h"
-#include "backends/p4tools/modules/testgen/core/exploration_strategy/random_access_max_coverage.h"
 #include "backends/p4tools/modules/testgen/core/exploration_strategy/random_access_stack.h"
+#include "backends/p4tools/modules/testgen/core/exploration_strategy/rnd_access_max_coverage.h"
 #include "backends/p4tools/modules/testgen/core/exploration_strategy/selected_branches.h"
 #include "backends/p4tools/modules/testgen/core/target.h"
 #include "backends/p4tools/modules/testgen/lib/logging.h"