Code Correctness: Failing Assertion

Uma função usa a função assert do Solidity para verificar uma declaração falsa.

A função assert do Solidity destina-se a verificar apenas instruções avaliadas como true. Ter uma instrução false passada para essa função indica que o código não está funcionando corretamente ou que a função está sendo mal utilizada, por exemplo, para validar a entrada.

Exemplo 1: O código a seguir usa a função assert para verificar uma instrução falsa.

contract A {
    B b = new B(7);

    function checkWithAssert(){
        assert(b.retValue() == 21);
        ...
    }

}

contract B {
    uint _par;
    constructor(uint par){
        _par = par;
    }

    function retValue() returns(uint){
        return _par;
    }
}