Dapp is a component of the Dapp Tools suite for smart-contract development from the command line. It compiles Solidity contracts; initializes projects; manages libraries; runs unit, property-based, invariant, and symbolically executed tests through hevm; supports RPC-backed state testing; and deploys and verifies contracts.
