Esempi in C++ (Cpp) per write_serialization_external

Esempio n. 1

File: memory_model_sc.cpp Progetto: 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);
}

Esempio n. 2

File: memory_model_pso.cpp Progetto: 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
}