Ejemplos de create_danger_solution en C++ (Cpp)

Ejemplo n.º 1

Archivo: danger_learn_config.cpp Proyecto: lihaol/cbmc

void danger_learn_configt::convert(candidatet &candidate,
    const class goto_tracet &trace, const size_t max_solution_size)
{
  candidate.danger_programs.clear();
  candidate.x0_choices.clear();
  create_danger_solution(candidate, program, trace, var_ids, max_solution_size);
}

Ejemplo n.º 2

Archivo: encoded_danger_learn_config.cpp Proyecto: Dthird/CBMC

void encoded_danger_learn_configt::show_candidate(messaget::mstreamt &os,
    const candidatet &candidate)
{
  const danger_programt &prog=danger_learn_config.get_danger_program();
  const danger_learn_configt::invariant_variable_idst &vars=
      danger_learn_config.get_vars();
  danger_goto_solutiont converted;
  create_danger_solution(converted, prog, candidate, vars);
  danger_learn_config.show_candidate(os, converted);
}