c_test_input_generatort Class Reference

#include <c_test_input_generator.h>

Collaboration diagram for c_test_input_generatort:

Public Member Functions
	c_test_input_generatort (ui_message_handlert &ui_message_handler, const optionst &options)
void	operator() (const goto_trace_storaget &)
	Extracts test inputs for all traces and outputs them.

Protected Member Functions
test_inputst	operator() (const goto_tracet &goto_trace, const namespacet &ns)
	Extracts test inputs from the given goto_trace.

Protected Attributes
ui_message_handlert &	ui_message_handler
const optionst &	options

Detailed Description

Definition at line 50 of file c_test_input_generator.h.

Constructor & Destructor Documentation

c_test_input_generatort()

c_test_input_generatort::c_test_input_generatort	(	ui_message_handlert &	ui_message_handler,
		const optionst &	options
	)

Definition at line 31 of file c_test_input_generator.cpp.

Member Function Documentation

operator()() [1/2]

void c_test_input_generatort::operator()

(

const goto_trace_storaget &

traces

)

Extracts test inputs for all traces and outputs them.

Definition at line 132 of file c_test_input_generator.cpp.

operator()() [2/2]

test_inputst c_test_input_generatort::operator() ( const goto_tracet &  goto_trace, const namespacet &  ns  )

protected

Extracts test inputs from the given goto_trace.

Definition at line 125 of file c_test_input_generator.cpp.

Member Data Documentation

options

const optionst& c_test_input_generatort::options

protected

Definition at line 62 of file c_test_input_generator.h.

ui_message_handler

ui_message_handlert& c_test_input_generatort::ui_message_handler

protected

Definition at line 61 of file c_test_input_generator.h.

---

The documentation for this class was generated from the following files:

• /home/runner/work/cbmc/cbmc/src/cbmc/c_test_input_generator.h
• /home/runner/work/cbmc/cbmc/src/cbmc/c_test_input_generator.cpp