cprover
fencer.h File Reference

Fence inference. More...

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

Go to the source code of this file.

Functions

void fence_weak_memory (memory_modelt model, value_setst &value_sets, symbol_tablet &symbol_table, goto_functionst &goto_functions, bool SCC, instrumentation_strategyt event_strategy, unsigned unwinding_bound, bool no_cfg_kill, bool no_dependencies, loop_strategyt duplicate_body, unsigned max_var, unsigned max_po_trans, bool render_po, bool render_file, bool render_function, bool cav11_option, bool hide_internals, bool print_graph, infer_modet mode, message_handlert &message_handler, bool ignore_arrays)
 

Detailed Description

Fence inference.

Definition in file fencer.h.

Function Documentation

◆ fence_weak_memory()