Further removed old files that are not used any more

usi-verification-and-security · Mar 19, 2024 · 3e4a261 · 3e4a261
1 parent 89b333e
commit 3e4a261
Show file tree

Hide file tree

Showing 15 changed files with 2 additions and 7,211 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -80,7 +80,7 @@ include_directories(
     ${CMAKE_SOURCE_DIR}/options
     ${CMAKE_SOURCE_DIR}/api
     ${CMAKE_SOURCE_DIR}/tsolvers
-    ${CMAKE_SOURCE_DIR}/tsolvers/axdiffsolver
+    ${CMAKE_SOURCE_DIR}/tsolvers/arraysolver
     ${CMAKE_SOURCE_DIR}/tsolvers/egraph
     ${CMAKE_SOURCE_DIR}/tsolvers/lasolver
     ${CMAKE_SOURCE_DIR}/tsolvers/stpsolver

diff --git a/src/smtsolvers/CoreSMTSolver.cc b/src/smtsolvers/CoreSMTSolver.cc
@@ -1868,8 +1868,6 @@ void CoreSMTSolver::printStatistics( ostream & os )
     if ( config.sat_preprocess_theory != 0 )
         os << "; T-Vars eliminated........: " << elim_tvars << " out of " << total_tvars << endl;
     os << "; TSolvers time............: " << tsolvers_time << " s" << endl;
-//  if ( config.sat_lazy_dtc != 0 )
-//    os << "# Interf. equalities.......: " << ie_generated << " out of " << egraph.getInterfaceTermsNumber( ) * (egraph.getInterfaceTermsNumber( )-1) / 2 << endl;
     os << "; Init clauses.............: " << clauses.size() << endl;
     os << "; Variables................: " << nVars() << endl;
     if (config.sat_split_type() != spt_none)