13 #ifndef CPROVER_MUSKETEER_FENCE_ASSERT_H 14 #define CPROVER_MUSKETEER_FENCE_ASSERT_H 37 return selected_cycles.find(cycles_id)!=selected_cycles.end();
52 #endif // CPROVER_MUSKETEER_FENCE_ASSERT_H virtual void process_cycles_selection()
bool find_assert(const event_grapht::critical_cyclet &cycle) const
std::set< unsigned > selected_cycles
virtual bool filter_cycles(unsigned cycles_id) const
fence_assert_insertert(instrumentert &instr, memory_modelt _model)
ILP construction for all cycles and resolution.
fence_assert_insertert(instrumentert &instr)