goto_program_coverage_recordt::coverage_conditiont Struct Reference

Public Member Functions
	coverage_conditiont ()

Public Attributes
bool	false_taken
bool	true_taken

Detailed Description

Definition at line 67 of file symex_coverage.cpp.

Constructor & Destructor Documentation

coverage_conditiont()

goto_program_coverage_recordt::coverage_conditiont::coverage_conditiont ( )

inline

Definition at line 69 of file symex_coverage.cpp.

Member Data Documentation

false_taken

bool goto_program_coverage_recordt::coverage_conditiont::false_taken

Definition at line 73 of file symex_coverage.cpp.

true_taken

bool goto_program_coverage_recordt::coverage_conditiont::true_taken

Definition at line 74 of file symex_coverage.cpp.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-checker/symex_coverage.cpp