simplification_check.h File Reference

#include <functional>
#include <irep2/irep2_expr.h>

Include dependency graph for simplification_check.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	simplification_check
	Debug-mode guard on the expression simplifier (esbmc/esbmc#4625).
namespace	simplification_check::detail

Typedefs
using	simplification_check::checkert
	Called for every rewrite the simplifier performs.

Functions
void	simplification_check::install (checkert checker)
void	simplification_check::clear ()
	Uninstall, restoring the inert default.
void	simplification_check::detail::run (const expr2tc &before, const expr2tc &after)
void	simplification_check::verify_rewrite (const expr2tc &before, const expr2tc &after)
	Consult the installed checker.
void	simplification_check::verify_node_rewrite (const expr2t &before, const expr2tc &after)
	As above, where the rewritten node exists only as this.
void	simplification_check::verify_rewrite_or_node (const expr2tc &before, const expr2t &node, const expr2tc &after)
	As above, for a caller that holds the rewritten node in a container only sometimes – a nil before means clone node instead.