Exemplos de const_invariant_loopst::begin em C++ (Cpp)

Exemplo n.º 1

Arquivo: safety_preprocessing.cpp Projeto: diffblue/cbmc

size_t get_x0_offset(const invariant_programt &prog)
{
  const invariant_programt::const_invariant_loopst l(prog.get_loops());
  return std::accumulate(l.begin(), l.end(), 0,
      [](const size_t sum, const invariant_programt::invariant_loopt * const loop)
      { return sum + loop->skolem_choices.size();});
}