pub unsafe extern "C" fn reset_assertions(cvc5: *mut Solver)
Remove all assertions.
SMT-LIB:
\verbatim embed:rst:leading-asterisk .. code:: smtlib
(reset-assertions)
\endverbatim
@param cvc5 The solver instance.