remove do_unwind_module hook

kroening · kroening · commit b0f7476fca37 · 2018-04-28T15:50:58.000+01:00
diff --git a/src/cbmc/bmc.cpp b/src/cbmc/bmc.cpp
@@ -35,11 +35,6 @@ Author: Daniel Kroening, kroening@kroening.com
 #include "counterexample_beautification.h"
 #include "fault_localization.h"
 
-void bmct::do_unwind_module()
-{
-  // this is a hook for hw-cbmc
-}
-
 /// Hook used by CEGIS to selectively freeze variables
 /// in the SAT solver after the SSA formula is added to the solver.
 /// Freezing variables is necessary to make use of incremental
@@ -118,9 +113,6 @@ void bmct::output_graphml(resultt result)
 
 void bmct::do_conversion()
 {
-  // convert HDL (hook for hw-cbmc)
-  do_unwind_module();
-
   status() << "converting SSA" << eom;
 
   // convert SSA
diff --git a/src/cbmc/bmc.h b/src/cbmc/bmc.h
@@ -191,7 +191,6 @@ class bmct:public safety_checkert
 
   // unwinding
   virtual void setup_unwind();
-  virtual void do_unwind_module();
   void do_conversion();
 
   virtual void freeze_program_variables();
