Blockchain, Ethereum, Simulation.
supports no valid transactions”. If that was proved false, the counter-example would then be a set of inputs that produce a valid contract transaction. Symbolic analysis We supplied a black box symbolic interpreter with a modified Uniswap Exchange contract, an agent pool of available funded