cprover
path_replay.cpp
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Dense Data Structure for Path Replay
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#include "
path_replay.h
"
13
14
void
get_branches
(
path_symex_step_reft
history)
15
{
16
// history trees are traversed effectively only backwards
17
for
(; !history.
is_nil
(); --history)
18
{
19
}
20
}
path_symex_step_reft
Definition:
path_symex_history.h:28
path_symex_step_reft::is_nil
bool is_nil() const
Definition:
path_symex_history.h:43
get_branches
void get_branches(path_symex_step_reft history)
Definition:
path_replay.cpp:14
path_replay.h
Dense Data Structure for Path Replay.
path-symex
path_replay.cpp
Generated by
1.8.12