Loading demo links...
Showing 4–6 of 10 questions
.Require is used:
Select an option, then click Submit answer.
to check internal states that should never happen.
to check input arguments from users.
When solidity is compiled then also Metadata is generated:
Select an option, then click Submit answer.
the Metadata contains the ABI Array, which defines the Interface to interact with the Smart Contract. Metadata can also contain the address of the smart contract when it gets deployed.
metadata contains the address, and the size of the smart contract. The ABI Array is generated externally upon deploying the smart contract.
the ABI array and the Metadata are not generated when solidity is compiled to bytecode, its generated by a migration software which deploys the smart contract on the blockchain.
When using assert to check invariants and it evaluates to false:
Select an option, then click Submit answer.
all gas is consumed.
all remaining gas is returned.
