Merge pull request #6718 from tautschnig/cleanup/remove-make_assertions_false

Remove unused make_assertions_false

Author: tautschnig

src/goto-programs/set_properties.cpp

@@ -129,21 +129,3 @@ void label_properties(goto_functionst &goto_functions)
       it++)
     label_properties(it->second.body, property_counters);
 }
-
-void make_assertions_false(goto_modelt &goto_model)
-{
-  make_assertions_false(goto_model.goto_functions);
-}
-
-void make_assertions_false(
-  goto_functionst &goto_functions)
-{
-  for(auto &f : goto_functions.function_map)
-  {
-    for(auto &i : f.second.body.instructions)
-    {
-      if(i.is_assert())
-        i.set_condition(false_exprt());
-    }
-  }
-}

src/goto-programs/set_properties.h

@@ -27,9 +27,6 @@ void set_properties(
   goto_modelt &goto_model,
   const std::list<std::string> &properties);
 
-void make_assertions_false(goto_functionst &);
-void make_assertions_false(goto_modelt &);
-
 void label_properties(goto_functionst &);
 void label_properties(goto_programt &);
 void label_properties(goto_modelt &);