Remove unused make_assertions_false

This code was introduced in 35b430a and 76d543b, but it seems to be unused and its purpose is unclear.
diffblue · Mar 9, 2022 · ee16d80 · ee16d80
1 parent daa7996
commit ee16d80
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 21 deletions.
diff --git a/src/goto-programs/set_properties.cpp b/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());
-    }
-  }
-}
diff --git a/src/goto-programs/set_properties.h b/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 &);