Remove experimental code

PrincetonUniversity · Jul 20, 2020 · 2dd5376 · 2dd5376
1 parent cfc9f00
commit 2dd5376
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 129 deletions.
diff --git a/include/ilang/ila-mngr/v_eq_check.h b/include/ilang/ila-mngr/v_eq_check.h
diff --git a/src/ila-mngr/CMakeLists.txt b/src/ila-mngr/CMakeLists.txt
@@ -14,7 +14,6 @@ target_sources(${ILANG_LIB_NAME} PRIVATE
   ${CMAKE_CURRENT_SOURCE_DIR}/u_rewrite_expr.cc
   ${CMAKE_CURRENT_SOURCE_DIR}/u_rewrite_ila.cc
   ${CMAKE_CURRENT_SOURCE_DIR}/u_unroller.cc
-  ${CMAKE_CURRENT_SOURCE_DIR}/v_eq_check.cc
   ${CMAKE_CURRENT_SOURCE_DIR}/v_eq_check_crr.cc
   ${CMAKE_CURRENT_SOURCE_DIR}/v_eq_check_bmc.cc
   ${CMAKE_CURRENT_SOURCE_DIR}/v_refinement.cc

diff --git a/src/ila-mngr/v_eq_check.cc b/src/ila-mngr/v_eq_check.cc
diff --git a/test/t_copy.cc b/test/t_copy.cc
@@ -2,14 +2,13 @@
 /// Unit tests for exporting and importing ILA portables.
 
 #include <ilang/ila-mngr/u_abs_knob.h>
-
-#include "unit-include/config.h"
-#include "unit-include/util.h"
-#include <ilang/ila-mngr/v_eq_check.h>
 #include <ilang/ilang++.h>
 #include <ilang/util/fs.h>
 #include <ilang/util/log.h>
 
+#include "unit-include/config.h"
+#include "unit-include/util.h"
+
 namespace ilang {
 
 void Check(InstrLvlAbsPtr& a, InstrLvlAbsPtr& b) { CheckIlaEqLegacy(a, b); }
@@ -25,8 +24,6 @@ void Copy(const std::string& dir, const std::string& file, bool check = true) {
   if (check) {
     Check(ila, copy);
   }
-
-  EXPECT_TRUE(CheckEqSameMicroArch(ila, copy, check));
 }
 
 TEST(TestCopyTree, AES_V_TOP) { Copy("aes", "aes_v_top.json"); }