cprover
|
Counterexample Beautification. More...
#include <util/namespace.h>
#include <goto-symex/symex_target_equation.h>
#include <solvers/flattening/bv_minimize.h>
Go to the source code of this file.
Classes | |
class | counterexample_beautificationt |
Counterexample Beautification.
Definition in file counterexample_beautification.h.