confirm solidity functionality: fixed defaults ‑ @solidityequiv1 Solidity Defaults Test Suite confirm solidity functionality: fixed defaults
confirm solidity functionality: ufixed defaults ‑ @solidityequiv1 Solidity Defaults Test Suite confirm solidity functionality: ufixed defaults

Should get contract's code at contract address ‑ @solidityequiv1 AssemblyAddress Tests Should get contract's code at contract address
Should get contract's code hash at contract address ‑ @solidityequiv1 AssemblyAddress Tests Should get contract's code hash at contract address
Should get contract's code size at contract address ‑ @solidityequiv1 AssemblyAddress Tests Should get contract's code size at contract address
byte concatenation ‑ @solidityequiv1 Concatenation Test Suite byte concatenation
callAddMod ‑ @solidityequiv1 CryptoMath Test Suite callAddMod
callEcrecover and verify that returns the correct address of the signer ‑ @solidityequiv1 CryptoMath Test Suite callEcrecover and verify that returns the correct address of the signer
callKeccak256 ‑ @solidityequiv1 CryptoMath Test Suite callKeccak256
callMulMod ‑ @solidityequiv1 CryptoMath Test Suite callMulMod
callRipemd160 ‑ @solidityequiv1 CryptoMath Test Suite callRipemd160
callSha256 ‑ @solidityequiv1 CryptoMath Test Suite callSha256
confirm solidity functionality: address defaults ‑ @solidityequiv1 Solidity Defaults Test Suite confirm solidity functionality: address defaults
confirm solidity functionality: array defaults ‑ @solidityequiv1 Solidity Defaults Test Suite confirm solidity functionality: array defaults
confirm solidity functionality: bytes defaults ‑ @solidityequiv1 Solidity Defaults Test Suite confirm solidity functionality: bytes defaults
confirm solidity functionality: fixed defaults ‑ @solidityequiv1 Solidity Defaults Test Suite confirm solidity functionality: fixed defaults
confirm solidity functionality: int defaults ‑ @solidityequiv1 Solidity Defaults Test Suite confirm solidity functionality: int defaults
confirm solidity functionality: mapping ‑ @solidityequiv1 Solidity Defaults Test Suite confirm solidity functionality: mapping
confirm solidity functionality: string defaults ‑ @solidityequiv1 Solidity Defaults Test Suite confirm solidity functionality: string defaults
confirm solidity functionality: ufixed defaults ‑ @solidityequiv1 Solidity Defaults Test Suite confirm solidity functionality: ufixed defaults
confirm solidity functionality: uint defaults ‑ @solidityequiv1 Solidity Defaults Test Suite confirm solidity functionality: uint defaults
it should confirm solidity functionality: Arithmetic, checked overflow - confirm revert add ‑ @solidityequiv1 Arithmetic Test Suite it should confirm solidity functionality: Arithmetic, checked overflow - confirm revert add
it should confirm solidity functionality: Arithmetic, checked overflow - confirm revert add2 ‑ @solidityequiv1 Arithmetic Test Suite it should confirm solidity functionality: Arithmetic, checked overflow - confirm revert add2
it should confirm solidity functionality: Arithmetic, checked overflow - confirm revert mul ‑ @solidityequiv1 Arithmetic Test Suite it should confirm solidity functionality: Arithmetic, checked overflow - confirm revert mul
it should confirm solidity functionality: Arithmetic, checked underflow - confirm revert dec ‑ @solidityequiv1 Arithmetic Test Suite it should confirm solidity functionality: Arithmetic, checked underflow - confirm revert dec
it should confirm solidity functionality: Arithmetic, checked underflow - confirm revert negativeHasMoreValues ‑ @solidityequiv1 Arithmetic Test Suite it should confirm solidity functionality: Arithmetic, checked underflow - confirm revert negativeHasMoreValues
it should confirm solidity functionality: Arithmetic, checked underflow - confirm revert sub ‑ @solidityequiv1 Arithmetic Test Suite it should confirm solidity functionality: Arithmetic, checked underflow - confirm revert sub
it should confirm solidity functionality: Arithmetic, unchecked overflow - confirm wrap uncheckedAdd ‑ @solidityequiv1 Arithmetic Test Suite it should confirm solidity functionality: Arithmetic, unchecked overflow - confirm wrap uncheckedAdd
it should confirm solidity functionality: Arithmetic, unchecked underflow - confirm wrap uncheckedSub ‑ @solidityequiv1 Arithmetic Test Suite it should confirm solidity functionality: Arithmetic, unchecked underflow - confirm wrap uncheckedSub
should be able to execute getBlockBaseFee() ‑ @solidityequiv1 BlockInfo Test Suite should be able to execute getBlockBaseFee()
should be able to get the hash of a given block when the block number is one of the 256 most recent blocks ‑ @solidityequiv1 BlockInfo Test Suite should be able to get the hash of a given block when the block number is one of the 256 most recent blocks
should confirm `call` on a non existing account internal  ‑ @solidityequiv1 Solidity Account Non Existing Test Suite should confirm `call` on a non existing account internal 
should confirm `call` on a non existing account ‑ @solidityequiv1 Solidity Account Non Existing Test Suite should confirm `call` on a non existing account
should confirm `delegatecall` on a non existing account internal ‑ @solidityequiv1 Solidity Account Non Existing Test Suite should confirm `delegatecall` on a non existing account internal
should confirm `delegatecall` on a non existing account ‑ @solidityequiv1 Solidity Account Non Existing Test Suite should confirm `delegatecall` on a non existing account
should confirm `staticcall` on a non existing account internal ‑ @solidityequiv1 Solidity Account Non Existing Test Suite should confirm `staticcall` on a non existing account internal
should confirm `staticcall` on a non existing account ‑ @solidityequiv1 Solidity Account Non Existing Test Suite should confirm `staticcall` on a non existing account
should confirm a user can bid ‑ @solidityequiv1 Solidity Blind Auction Test Suite should confirm a user can bid
should confirm a user can end an auction ‑ @solidityequiv1 Solidity Blind Auction Test Suite should confirm a user can end an auction
should confirm a user can reveal their bids ‑ @solidityequiv1 Solidity Blind Auction Test Suite should confirm a user can reveal their bids
should confirm a user can withdraw ‑ @solidityequiv1 Solidity Blind Auction Test Suite should confirm a user can withdraw
should confirm a user cannot bid after end ‑ @solidityequiv1 Solidity Blind Auction Test Suite should confirm a user cannot bid after end
should confirm a user cannot reveal after reveal end ‑ @solidityequiv1 Solidity Blind Auction Test Suite should confirm a user cannot reveal after reveal end
should confirm beneficiary is set correctly ‑ @solidityequiv1 Solidity Blind Auction Test Suite should confirm beneficiary is set correctly
should confirm creation of a contract on non Existing addr ‑ @solidityequiv1 Solidity Account Non Existing Test Suite should confirm creation of a contract on non Existing addr
should confirm function call balance on an address that doesn't exist.  ‑ @solidityequiv1 Solidity Account Non Existing Test Suite should confirm function call balance on an address that doesn't exist. 
should get the block gas limit ‑ @solidityequiv1 BlockInfo Test Suite should get the block gas limit
should get the block number ‑ @solidityequiv1 BlockInfo Test Suite should get the block number
should get the block timestamp ‑ @solidityequiv1 BlockInfo Test Suite should get the block timestamp
should get the current block coinbase which is the hedera network account ‑ @solidityequiv1 BlockInfo Test Suite should get the current block coinbase which is the hedera network account
should get the current block difficulty using block.difficulty (replaced by prevrandao) ‑ @solidityequiv1 BlockInfo Test Suite should get the current block difficulty using block.difficulty (replaced by prevrandao)
should get the current block prevrandao using block.prevrandao ‑ @solidityequiv1 BlockInfo Test Suite should get the current block prevrandao using block.prevrandao
should verify assignment of reference types ‑ @solidityequiv1 Assignments Test Suite should verify assignment of reference types
should verify break is working correctly ‑ @solidityequiv1 Control Structures Test Suite should verify break is working correctly
should verify calling a NON existing address ‑ @solidityequiv1 Solidity Address Test Suite should verify calling a NON existing address
should verify catch is working correctly ‑ @solidityequiv1 Control Structures Test Suite should verify catch is working correctly
should verify continue is working correctly ‑ @solidityequiv1 Control Structures Test Suite should verify continue is working correctly
should verify destructuring works ‑ @solidityequiv1 Assignments Test Suite should verify destructuring works
should verify do is working correctly ‑ @solidityequiv1 Control Structures Test Suite should verify do is working correctly
should verify else is working correctly ‑ @solidityequiv1 Control Structures Test Suite should verify else is working correctly
should verify for is working correctly ‑ @solidityequiv1 Control Structures Test Suite should verify for is working correctly
should verify is is working correctly ‑ @solidityequiv1 Control Structures Test Suite should verify is is working correctly
should verify solidity functionality: <address payable>.send (FAIL, returnes false if the payment fails) ‑ @solidityequiv1 Solidity Address Test Suite should verify solidity functionality: <address payable>.send (FAIL, returnes false if the payment fails)
should verify solidity functionality: <address payable>.send ‑ @solidityequiv1 Solidity Address Test Suite should verify solidity functionality: <address payable>.send
should verify solidity functionality: <address payable>.transfer (FAIL, should revert if the payment fails) ‑ @solidityequiv1 Solidity Address Test Suite should verify solidity functionality: <address payable>.transfer (FAIL, should revert if the payment fails)
should verify solidity functionality: <address payable>.transfer ‑ @solidityequiv1 Solidity Address Test Suite should verify solidity functionality: <address payable>.transfer
should verify solidity functionality: <address>.balance ‑ @solidityequiv1 Solidity Address Test Suite should verify solidity functionality: <address>.balance
should verify solidity functionality: <address>.call (FAIL, returnes false if the payment fails) ‑ @solidityequiv1 Solidity Address Test Suite should verify solidity functionality: <address>.call (FAIL, returnes false if the payment fails)
should verify solidity functionality: <address>.call -> with function signature ‑ @solidityequiv1 Solidity Address Test Suite should verify solidity functionality: <address>.call -> with function signature
should verify solidity functionality: <address>.call ‑ @solidityequiv1 Solidity Address Test Suite should verify solidity functionality: <address>.call
should verify solidity functionality: <address>.code ‑ @solidityequiv1 Solidity Address Test Suite should verify solidity functionality: <address>.code
should verify solidity functionality: <address>.codehash ‑ @solidityequiv1 Solidity Address Test Suite should verify solidity functionality: <address>.codehash
should verify solidity functionality: <address>.delegatecall ‑ @solidityequiv1 Solidity Address Test Suite should verify solidity functionality: <address>.delegatecall
should verify solidity functionality: <address>.staticcall -> Try to set state ‑ @solidityequiv1 Solidity Address Test Suite should verify solidity functionality: <address>.staticcall -> Try to set state
should verify solidity functionality: <address>.staticcall ‑ @solidityequiv1 Solidity Address Test Suite should verify solidity functionality: <address>.staticcall
should verify try is working correctly ‑ @solidityequiv1 Control Structures Test Suite should verify try is working correctly
should verify while is working correctly ‑ @solidityequiv1 Control Structures Test Suite should verify while is working correctly
string concatenation Empty ‑ @solidityequiv1 Concatenation Test Suite string concatenation Empty
string concatenation ‑ @solidityequiv1 Concatenation Test Suite string concatenation