CBMC
Public Attributes | List of all members
goto_harness_parse_optionst::goto_harness_configt Struct Reference
+ Collaboration diagram for goto_harness_parse_optionst::goto_harness_configt:

Public Attributes

std::string in_file
 
std::string out_file
 
std::string harness_type
 
irep_idt harness_function_name
 

Detailed Description

Definition at line 40 of file goto_harness_parse_options.h.

Member Data Documentation

◆ harness_function_name

irep_idt goto_harness_parse_optionst::goto_harness_configt::harness_function_name

Definition at line 45 of file goto_harness_parse_options.h.

◆ harness_type

std::string goto_harness_parse_optionst::goto_harness_configt::harness_type

Definition at line 44 of file goto_harness_parse_options.h.

◆ in_file

std::string goto_harness_parse_optionst::goto_harness_configt::in_file

Definition at line 42 of file goto_harness_parse_options.h.

◆ out_file

std::string goto_harness_parse_optionst::goto_harness_configt::out_file

Definition at line 43 of file goto_harness_parse_options.h.

The documentation for this struct was generated from the following file: