cprover
Deprecated List
Member make_next_state (exprt &)
This function will eventually be removed.
Member make_next_state (exprt &)
This function will eventually be removed.