49 std::size_t function_calls;
68 exprt cond = i_it->get_condition();
77 i_it->set_condition(cond);
80 else if(i_it->is_assume())
82 exprt cond = i_it->get_condition();
91 i_it->set_condition(cond);
94 else if(i_it->is_goto())
96 exprt cond = i_it->get_condition();
105 i_it->set_condition(cond);
108 else if(i_it->is_assign())
110 auto assign = i_it->get_assign();
123 if(unchanged_lhs && unchanged_rhs)
124 unmodified.assigns++;
127 simplified.assigns++;
128 i_it->set_assign(assign);
131 else if(i_it->is_function_call())
133 auto fcall = i_it->get_function_call();
144 unmodified.function_calls++;
147 simplified.function_calls++;
148 i_it->set_function_call(fcall);
157 m.
status() <<
"Simplified: "
158 <<
" assert: " << simplified.asserts
159 <<
", assume: " << simplified.assumes
160 <<
", goto: " << simplified.gotos
161 <<
", assigns: " << simplified.assigns
162 <<
", function calls: " << simplified.function_calls
165 <<
" assert: " << unmodified.asserts
166 <<
", assume: " << unmodified.assumes
167 <<
", goto: " << unmodified.gotos
168 <<
", assigns: " << unmodified.assigns
169 <<
", function calls: " << unmodified.function_calls