cprover
|
Dense Data Structure for Path Replay. More...
#include "path_replay.h"
Go to the source code of this file.
Functions | |
void | get_branches (path_symex_step_reft history) |
Dense Data Structure for Path Replay.
Definition in file path_replay.cpp.
void get_branches | ( | path_symex_step_reft | history | ) |
Definition at line 14 of file path_replay.cpp.
References path_symex_step_reft::is_nil().