Blockchain, Ethereum, Simulation.
hypothesis true, or produce a counter-example. For example, in formal verification, a hypothesis is usually an assertion about the contract, e.g., “the value returned from function double is always even”. pragma solidity ^0.5.1 contract Doubler { function double(uint x) pure public returns (uint) {