#include <require_parse_tree.h>
Definition at line 33 of file require_parse_tree.h.
◆ expected_instructiont()
require_parse_tree::expected_instructiont::expected_instructiont |
( |
const irep_idt & | instruction_mnemoic, |
|
|
const std::vector< exprt > & | instruction_arguments ) |
|
inline |
◆ require_instructions_equal()
Check whether a given instruction matches an expectation of the instruction.
- Parameters
-
actual_instruction | The instruction to check |
Definition at line 94 of file require_parse_tree.cpp.
◆ instruction_arguments
std::vector<exprt> require_parse_tree::expected_instructiont::instruction_arguments |
|
private |
◆ instruction_mnemoic
irep_idt require_parse_tree::expected_instructiont::instruction_mnemoic |
|
private |
The documentation for this struct was generated from the following files:
- /builddir/build/BUILD/cbmc-6.7.1-build/cbmc-cbmc-6.7.1/jbmc/unit/java-testing-utils/require_parse_tree.h
- /builddir/build/BUILD/cbmc-6.7.1-build/cbmc-cbmc-6.7.1/jbmc/unit/java-testing-utils/require_parse_tree.cpp