14 #ifndef CPROVER_MUSKETEER_FENCE_SHARED_H 15 #define CPROVER_MUSKETEER_FENCE_SHARED_H 43 #endif // CPROVER_MUSKETEER_FENCE_SHARED_H void fence_all_shared_aeg(message_handlert &message_handler, value_setst &value_sets, symbol_tablet &symbol_table, goto_functionst &goto_functions)
void fence_volatile(message_handlert &message_handler, value_setst &value_sets, symbol_tablet &symbol_table, goto_functionst &goto_functions)
void fence_all_shared(message_handlert &message_handler, value_setst &value_sets, symbol_tablet &symbol_table, goto_functionst &goto_functions)