EYBlockchain / starlight

:zap: solidity --> zApp transpiler :zap:
Other
188 stars 38 forks source link

Negation of Non Secret Variable #314

Closed kKahina closed 3 months ago

kKahina commented 3 months ago

Error in negation of Non Secret Variable: g = !value_publicbool;

test for the: // SPDX-License-Identifier: CC0

pragma solidity ^0.8.0;

contract Assign {

secret bool private a; secret bool private c; bool public d; bool public g;

function add( secret uint256 value, secret bool value_bool, bool value_publicbool) public { secret bool l = true; bool m = false; c = a && m && d; if(value > 10 && !c) { c=true; a= value_bool && value_publicbool; } if( value < 10) { a =!c; c= l || a || m; } }

function addPublic(uint256 value, bool value_publicbool) public {
    if (value > 10) {
        d = true;
        g = value_publicbool;
    }
    if (value < 10) {
        d = false;
        g = !value_publicbool;
    }
}

}