Code Correctness: Failing Assertion

Una función utiliza la función de Solidity assert para comprobar una declaración falsa.

La función de Solidity assert está destinada a verificar solo declaraciones que se evalúan como true. Si una declaración false pasa a esta función, ello indica que el código no funciona correctamente o que la función se está utilizando incorrectamente, por ejemplo, para validar entradas.

Ejemplo 1: El siguiente código utiliza la función assert para comprobar una declaración 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;
    }
}