22#define OUTPUT(s, fence, file, line, id, type) \
23 s<<fence<<"|"<<file<<"|"<<line<<"|"<<id<<"|"<<type<<'\n'
28 res.open(
"results.txt");
30 for(std::list<event_idt>::const_iterator st_it=
egraph.po_order.begin();
31 st_it!=
egraph.po_order.end(); ++st_it)
56 catch(
const std::string &s)
75 for(wmm_grapht::edgest::const_iterator
76 it=
egraph.po_out(current).begin();
77 it!=
egraph.po_out(current).end(); ++it)
source_locationt source_location
bool find_second_event(event_idt source)
std::set< event_idt > visited_nodes
const irep_idt & get_file() const
const irep_idt & get_line() const
wmm_grapht::node_indext event_idt
#define OUTPUT(s, fence, file, line, id, type)