#include <stddef.h>
#include <stdlib.h>
#include <stdint.h>
#include <stdbool.h>
#include "solidity_types.h"

Include dependency graph for solidity_blockchain.c:

Functions
uint256_t	blockhash (uint256_t x)
uint256_t	blobhash (uint256_t index)
unsigned int	nondet_uint ()
void	gasConsume ()
uint256_t	gasleft ()

Variables
uint256_t	msg_data
address_t	msg_sender
uint32_t	msg_sig
uint256_t	msg_value
uint256_t	tx_gasprice
address_t	tx_origin
uint256_t	block_basefee
uint256_t	block_blobbasefee
uint256_t	block_chainid
address_t	block_coinbase
uint256_t	block_difficulty
uint256_t	block_gaslimit
uint256_t	block_number
uint256_t	block_prevrandao
uint256_t	block_timestamp
unsigned int	_gaslimit

Function Documentation

◆ blobhash()

uint256_t blobhash ( uint256_t index )

◆ blockhash()

uint256_t blockhash ( uint256_t x )

◆ gasConsume()

void gasConsume ( )

◆ gasleft()

uint256_t gasleft ( )

◆ nondet_uint()

unsigned int nondet_uint ( )

Variable Documentation

◆ _gaslimit

unsigned int _gaslimit

◆ block_basefee

uint256_t block_basefee

◆ block_blobbasefee

uint256_t block_blobbasefee

◆ block_chainid

uint256_t block_chainid

◆ block_coinbase

address_t block_coinbase

◆ block_difficulty

uint256_t block_difficulty

◆ block_gaslimit

uint256_t block_gaslimit

◆ block_number

uint256_t block_number

◆ block_prevrandao

uint256_t block_prevrandao

◆ block_timestamp

uint256_t block_timestamp

◆ msg_data

uint256_t msg_data

◆ msg_sender

address_t msg_sender

◆ msg_sig

uint32_t msg_sig

◆ msg_value

uint256_t msg_value

◆ tx_gasprice

uint256_t tx_gasprice

◆ tx_origin

address_t tx_origin

Functions

Variables