From ee16d80e3df2cea998d73909adc4d1030082825f Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 9 Mar 2022 13:38:46 +0000 Subject: [PATCH] Remove unused make_assertions_false This code was introduced in 35b430af58c and 76d543be894, but it seems to be unused and its purpose is unclear. --- src/goto-programs/set_properties.cpp | 18 ------------------ src/goto-programs/set_properties.h | 3 --- 2 files changed, 21 deletions(-) diff --git a/src/goto-programs/set_properties.cpp b/src/goto-programs/set_properties.cpp index 21f5432d5d2..f63968e86e8 100644 --- 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 index c98798d1406..6ffdc054fa2 100644 --- 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 &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 &);