hyperledger-solang_solang/docs/examples/revert.sol

abstract contract c {
    constructor(int256 x) {
        assert(x > 0);
    }
}