Should allow a voter to delegate their vote ‑ @solidityequiv3 Ballot Units Test Suite Should allow a voter to delegate their vote
Should allow voting for a proposal ‑ @solidityequiv3 Ballot Units Test Suite Should allow voting for a proposal
Should correctly compute modular exponentiation ‑ @solidityequiv3 Precompiles Support Test Suite Should correctly compute modular exponentiation
Should correctly compute the ecPairing check ‑ @solidityequiv3 Precompiles Support Test Suite Should correctly compute the ecPairing check
Should correctly determine the winning proposal ‑ @solidityequiv3 Ballot Units Test Suite Should correctly determine the winning proposal
Should give voting rights ‑ @solidityequiv3 Ballot Units Test Suite Should give voting rights
Should have the correct chairperson ‑ @solidityequiv3 Ballot Units Test Suite Should have the correct chairperson
Should return the correct Blake2 hash ‑ @solidityequiv3 Precompiles Support Test Suite Should return the correct Blake2 hash
Should return the correct RIPEMD-160 hash ‑ @solidityequiv3 Precompiles Support Test Suite Should return the correct RIPEMD-160 hash
Should return the correct SHA-256 hash ‑ @solidityequiv3 Precompiles Support Test Suite Should return the correct SHA-256 hash
Should return the same value as input ‑ @solidityequiv3 Precompiles Support Test Suite Should return the same value as input
Should verify the signer of a message using ecrecover ‑ @solidityequiv3 Precompiles Support Test Suite Should verify the signer of a message using ecrecover
confirm 1 == 1 seconds ‑ @solidityequiv3 Time Units Test Suite confirm 1 == 1 seconds
confirm 1 days == 24 hours ‑ @solidityequiv3 Time Units Test Suite confirm 1 days == 24 hours
confirm 1 ether == 1e18 ‑ @solidityequiv3 Crypto Units Test Suite confirm 1 ether == 1e18
confirm 1 gwei == 1e9 ‑ @solidityequiv3 Crypto Units Test Suite confirm 1 gwei == 1e9
confirm 1 hours == 60 minutes ‑ @solidityequiv3 Time Units Test Suite confirm 1 hours == 60 minutes
confirm 1 minutes == 60 seconds ‑ @solidityequiv3 Time Units Test Suite confirm 1 minutes == 60 seconds
confirm 1 weeks == 7 days ‑ @solidityequiv3 Time Units Test Suite confirm 1 weeks == 7 days
confirm 1 wei == 1 ‑ @solidityequiv3 Crypto Units Test Suite confirm 1 wei == 1
gasleft() returns (uint256): remaining gas ‑ @solidityequiv3 Transaction Test Suite gasleft() returns (uint256): remaining gas
msg.data (bytes calldata): complete calldata ‑ @solidityequiv3 Transaction Test Suite msg.data (bytes calldata): complete calldata
msg.sender (address): sender of the message (current call) ‑ @solidityequiv3 Transaction Test Suite msg.sender (address): sender of the message (current call)
msg.sig (bytes4): first four bytes of the calldata (i.e. function identifier) ‑ @solidityequiv3 Transaction Test Suite msg.sig (bytes4): first four bytes of the calldata (i.e. function identifier)
msg.value (uint): number of wei sent with the message ‑ @solidityequiv3 Transaction Test Suite msg.value (uint): number of wei sent with the message
receiver should be able to claim payment and pay for transaction fees ‑ @solidityequiv3 Signature Example ReceiverPays Test Suite receiver should be able to claim payment and pay for transaction fees
receiver should not be able to shutdown contract ‑ @solidityequiv3 Signature Example ReceiverPays Test Suite receiver should not be able to shutdown contract
retrieve contract creation code using Type(Contract) ‑ @solidityequiv3 TypeOps Test Suite retrieve contract creation code using Type(Contract)
retrieve contract integer max using Type(Integer) ‑ @solidityequiv3 TypeOps Test Suite retrieve contract integer max using Type(Integer)
retrieve contract integer min using Type(Integer) ‑ @solidityequiv3 TypeOps Test Suite retrieve contract integer min using Type(Integer)
retrieve contract interface id using Type(Contract) ‑ @solidityequiv3 TypeOps Test Suite retrieve contract interface id using Type(Contract)
retrieve contract name using Type name ‑ @solidityequiv3 TypeOps Test Suite retrieve contract name using Type name
retrieve contract runtime code using Type(Contract) ‑ @solidityequiv3 TypeOps Test Suite retrieve contract runtime code using Type(Contract)
retrieve contract uint max using Type(Uint) ‑ @solidityequiv3 TypeOps Test Suite retrieve contract uint max using Type(Uint)
retrieve contract uint min using Type(Uint) ‑ @solidityequiv3 TypeOps Test Suite retrieve contract uint min using Type(Uint)
sender should be able to shutdown contract ‑ @solidityequiv3 Signature Example ReceiverPays Test Suite sender should be able to shutdown contract
should add two elliptic curve points ‑ @solidityequiv3 Precompiles Support Test Suite should add two elliptic curve points
should confirm "auctionEnd" function works ‑ @solidityequiv3 Simple Auction Test Suite should confirm "auctionEnd" function works
should confirm "bid" function works ‑ @solidityequiv3 Simple Auction Test Suite should confirm "bid" function works
should confirm "withdraw" function works ‑ @solidityequiv3 Simple Auction Test Suite should confirm "withdraw" function works
should confirm bid not high enough scenario works: BidNotHighEnough ‑ @solidityequiv3 Simple Auction Test Suite should confirm bid not high enough scenario works: BidNotHighEnough
should correctly multiply a point on the curve by a scalar ‑ @solidityequiv3 Precompiles Support Test Suite should correctly multiply a point on the curve by a scalar
should revert a bid with "AuctionAlreadyEnded" error ‑ @solidityequiv3 Simple Auction Test Suite should revert a bid with "AuctionAlreadyEnded" error
should verify it cannot reenter with guard ‑ @solidityequiv3 Reentrancy Guard Test Suite should verify it cannot reenter with guard
should verify it reenters without guard ‑ @solidityequiv3 Reentrancy Guard Test Suite should verify it reenters without guard
should verify the solidity functionality: "scoping" ‑ @solidityequiv3 Scoping Test Suite should verify the solidity functionality: "scoping"
tx.gasprice (uint): gas price of the transaction ‑ @solidityequiv3 Transaction Test Suite tx.gasprice (uint): gas price of the transaction
tx.origin (address): sender of the transaction (full call chain) ‑ @solidityequiv3 Transaction Test Suite tx.origin (address): sender of the transaction (full call chain)