Ejemplo n.º 1
0
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
0
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);
}