cprover
fencer.cpp File Reference

Fence inference: Main. More...

Include dependency graph for fencer.cpp:

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 input_max_var, unsigned input_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: Main.

Definition in file fencer.cpp.

Function Documentation

◆ fence_weak_memory()