slice_by_trace.cpp File Reference

Slicer for symex traces. More...

#include "slice_by_trace.h"
#include <cstring>
#include <set>
#include <fstream>
#include <iostream>
#include <util/arith_tools.h>
#include <util/exception_utils.h>
#include <util/expr_util.h>
#include <util/format_expr.h>
#include <util/guard.h>
#include <util/simplify_expr.h>
#include <util/std_expr.h>
#include <util/string2int.h>

Include dependency graph for slice_by_trace.cpp:

Go to the source code of this file.

Detailed Description

Slicer for symex traces.

Definition in file slice_by_trace.cpp.