CBMC
Public Attributes | List of all members
bytecode_infot Struct Reference

#include <bytecode_info.h>

Public Attributes

const char * mnemonic
 
unsigned char opcode
 
char format
 
unsigned pop
 
unsigned push
 
char result_type
 

Detailed Description

Definition at line 44 of file bytecode_info.h.

Member Data Documentation

◆ format

char bytecode_infot::format

Definition at line 48 of file bytecode_info.h.

◆ mnemonic

const char* bytecode_infot::mnemonic

Definition at line 46 of file bytecode_info.h.

◆ opcode

unsigned char bytecode_infot::opcode

Definition at line 47 of file bytecode_info.h.

◆ pop

unsigned bytecode_infot::pop

Definition at line 49 of file bytecode_info.h.

◆ push

unsigned bytecode_infot::push

Definition at line 49 of file bytecode_info.h.

◆ result_type

char bytecode_infot::result_type

Definition at line 50 of file bytecode_info.h.

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