cprover
build_goto_trace.cpp File Reference

Build Goto Trace from State History. More...

#include "build_goto_trace.h"
Include dependency graph for build_goto_trace.cpp:

Go to the source code of this file.

Functions

void build_goto_trace (const path_symex_statet &state, const decision_proceduret &decision_procedure, goto_tracet &goto_trace)
 follow state history to build a goto trace More...
 

Detailed Description

Build Goto Trace from State History.

Definition in file build_goto_trace.cpp.

Function Documentation

§ build_goto_trace()