C++ (Cpp) create_danger_solution Exemples

Exemple #1

Fichier : danger_learn_config.cpp Projet : 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);
}

Exemple #2

Fichier : encoded_danger_learn_config.cpp Projet : 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);
}