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 
15 {
16  // history trees are traversed effectively only backwards
17  for(; !history.is_nil(); --history)
18  {
19  }
20 }
void get_branches(path_symex_step_reft history)
Definition: path_replay.cpp:14
Dense Data Structure for Path Replay.