fix missing change in cmsgen

meelgroup · Nov 15, 2024 · 945d41d · 945d41d
1 parent b18d3c2
commit 945d41d
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -40,7 +40,7 @@ if(POLICY CMP0077)
     cmake_policy(SET CMP0077 NEW)
 endif()
 
-project(STP)
+project(CSB)
 
 set(CMAKE_C_STANDARD 99)
 set(CMAKE_CXX_STANDARD 14)

diff --git a/include/stp/Sat/CMSGen.h b/include/stp/Sat/CMSGen.h
@@ -50,6 +50,7 @@ namespace stp
 
 {
   CMSGen::SATSolver* s;
+  std::vector<uint32_t> sampling_vars_orig;
 
 public:
   CMSGenC(uint32_t *seed);

diff --git a/tools/stp/CMakeLists.txt b/tools/stp/CMakeLists.txt
@@ -28,7 +28,7 @@ if(BUILD_EXECUTABLES AND NOT ONLY_SIMPLE)
     )
 
     set_target_properties(stp-bin PROPERTIES
-        OUTPUT_NAME stp
+        OUTPUT_NAME csb
         RUNTIME_OUTPUT_DIRECTORY ${PROJECT_BINARY_DIR}
         INSTALL_RPATH_USE_LINK_PATH TRUE
     )
-Original file line number
+Diff line change
@@ Expand Up / @@ -50,6 +50,7 @@ namespace stp @@
     {
       CMSGen::SATSolver* s;
+      std::vector<uint32_t> sampling_vars_orig;
     public:
       CMSGenC(uint32_t *seed);
@@ Expand Down @@