cprover
|
Witnesses for Traces and Proofs. More...
#include "graphml_witness.h"
#include <util/base_type.h>
#include <util/byte_operators.h>
#include <util/c_types.h>
#include <util/arith_tools.h>
#include <util/prefix.h>
#include <util/ssa_expr.h>
Go to the source code of this file.
Functions | |
static bool | filter_out (const goto_tracet &goto_trace, const goto_tracet::stepst::const_iterator &prev_it, goto_tracet::stepst::const_iterator &it) |
Witnesses for Traces and Proofs.
Definition in file graphml_witness.cpp.
|
static |
Definition at line 138 of file graphml_witness.cpp.
References dstringt::empty(), irept::get(), source_locationt::get_file(), source_locationt::get_line(), irept::id(), source_locationt::is_built_in(), irept::is_nil(), code_assignt::rhs(), goto_tracet::steps, and to_code_assign().
Referenced by graphml_witnesst::operator()().