cprover
|
Public Member Functions | |
coverage_conditiont () | |
Public Attributes | |
bool | false_taken |
bool | true_taken |
Definition at line 66 of file symex_coverage.cpp.
|
inline |
Definition at line 68 of file symex_coverage.cpp.
bool goto_program_coverage_recordt::coverage_conditiont::false_taken |
Definition at line 72 of file symex_coverage.cpp.
bool goto_program_coverage_recordt::coverage_conditiont::true_taken |
Definition at line 73 of file symex_coverage.cpp.