cprover
|
Symbolic Execution. More...
#include "guard.h"
#include <ostream>
#include "expr_util.h"
#include "invariant.h"
#include "simplify_utils.h"
#include "std_expr.h"
Go to the source code of this file.
Functions | |
guardt & | operator-= (guardt &g1, const guardt &g2) |
guardt & | operator|= (guardt &g1, const guardt &g2) |
Symbolic Execution.
Definition in file guard.cpp.