Rename method to should_stop_unwind

More clearly describe what the return value represents.

Author: romainbrenguier

src/cbmc/symex_bmc.cpp

@@ -105,7 +105,7 @@ void symex_bmct::merge_goto(
     symex_coverage.covered(prev_pc, state.source.pc);
 }
 
-bool symex_bmct::get_unwind(
+bool symex_bmct::should_stop_unwind(
   const symex_targett::sourcet &source,
   const goto_symex_statet::call_stackt &context,
   unsigned unwind)

src/cbmc/symex_bmc.h

@@ -104,7 +104,7 @@ class symex_bmct: public goto_symext
     statet &state);
 
   // for loop unwinding
-  virtual bool get_unwind(
+  virtual bool should_stop_unwind(
     const symex_targett::sourcet &source,
     const goto_symex_statet::call_stackt &context,
     unsigned unwind);

src/goto-symex/goto_symex.h

@@ -284,7 +284,7 @@ class goto_symext
 
   // determine whether to unwind a loop -- true indicates abort,
   // with false we continue.
-  virtual bool get_unwind(
+  virtual bool should_stop_unwind(
     const symex_targett::sourcet &source,
     const goto_symex_statet::call_stackt &context,
     unsigned unwind);

src/goto-symex/symex_goto.cpp

@@ -82,10 +82,8 @@ void goto_symext::symex_goto(statet &state)
       frame.loop_iterations[goto_programt::loop_id(*state.source.pc)].count;
     unwind++;
 
-    // continue unwinding?
-    if(get_unwind(state.source, state.call_stack(), unwind))
+    if(should_stop_unwind(state.source, state.call_stack(), unwind))
     {
-      // no!
       loop_bound_exceeded(state, new_guard);
 
       // next instruction
@@ -516,7 +514,7 @@ void goto_symext::loop_bound_exceeded(
   }
 }
 
-bool goto_symext::get_unwind(
+bool goto_symext::should_stop_unwind(
   const symex_targett::sourcet &,
   const goto_symex_statet::call_stackt &,
   unsigned)