CBMC
goto2graph.cpp File Reference

Turns a goto-program into an abstract event graph. More...

#include "goto2graph.h"
#include <vector>
#include <string>
#include <fstream>
#include <util/options.h>
#include <util/prefix.h>
#include <linking/static_lifetime_init.h>
#include <goto-instrument/rw_set.h>
#include "fence.h"
+ Include dependency graph for goto2graph.cpp:

Go to the source code of this file.

Functions

event_idt alt_copy_segment (wmm_grapht &alt_egraph, event_idt begin, event_idt end)
 

Detailed Description

Turns a goto-program into an abstract event graph.

Definition in file goto2graph.cpp.

Function Documentation

◆ alt_copy_segment()

event_idt alt_copy_segment ( wmm_grapht alt_egraph,
event_idt  begin,
event_idt  end 
)

Definition at line 399 of file goto2graph.cpp.