cprover
build_goto_trace.h File Reference

Build Goto Trace from Path Symex History. More...

Include dependency graph for build_goto_trace.h:
This graph shows which files directly or indirectly include this file:

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 Path Symex History.

Definition in file build_goto_trace.h.

Function Documentation

◆ build_goto_trace()