goto_harness_parse_options.h

Go to the documentation of this file.

/******************************************************************\
 
Module: goto_harness_parse_options
 
Author: Diffblue Ltd.
 
\******************************************************************/
 
#ifndef CPROVER_GOTO_HARNESS_GOTO_HARNESS_PARSE_OPTIONS_H
#define CPROVER_GOTO_HARNESS_GOTO_HARNESS_PARSE_OPTIONS_H
 
#include <string>
 
#include <util/parse_options.h>
 
#include "function_harness_generator_options.h"
#include "goto_harness_generator_factory.h"
#include "memory_snapshot_harness_generator_options.h"
 
// clang-format off
#define GOTO_HARNESS_OPTIONS                                                   \
  "(version)"                                                                  \
  GOTO_HARNESS_FACTORY_OPTIONS                                                 \
  COMMON_HARNESS_GENERATOR_OPTIONS                                             \
  FUNCTION_HARNESS_GENERATOR_OPTIONS                                           \
  MEMORY_SNAPSHOT_HARNESS_GENERATOR_OPTIONS                                    \
// end GOTO_HARNESS_OPTIONS
 
// clang-format on
 
class goto_harness_parse_optionst : public parse_options_baset
{
public:
  int doit() override;
  void help() override;
 
  goto_harness_parse_optionst(int argc, const char *argv[]);
 
private:
  struct goto_harness_configt
  {
    std::string in_file;
    std::string out_file;
    std::string harness_type;
    irep_idt harness_function_name;
  };
  struct goto_harness_configt {…};
 
  goto_harness_configt handle_common_options();
 
  goto_harness_generator_factoryt::generator_optionst
  collect_generate_factory_options();
 
  goto_harness_generator_factoryt make_factory();
};
class goto_harness_parse_optionst : public parse_options_baset {…};
 
#endif // CPROVER_GOTO_HARNESS_GOTO_HARNESS_PARSE_OPTIONS_H