C++ (Cpp) build_event_lists Examples

Example #1

File: memory_model_sc.cpp Project: diffblue/cbmc

void memory_model_sct::operator()(symex_target_equationt &equation)
{
  print(8, "Adding SC constraints");

  build_event_lists(equation);
  build_clock_type(equation);

  read_from(equation);
  write_serialization_external(equation);
  program_order(equation);
  from_read(equation);
}

Example #2

File: memory_model_pso.cpp Project: Dthird/CBMC

void memory_model_psot::operator()(symex_target_equationt &equation)
{
  print(8, "Adding PSO constraints");

  build_event_lists(equation);
  build_clock_type(equation);
  
  read_from(equation);
  write_serialization_external(equation);
  program_order(equation);
#ifndef CPROVER_MEMORY_MODEL_SUP_CLOCK
  from_read(equation);
#endif
}