Merge pull request #317 from EYBlockchain/lydia/contract_negation

fix: ! as unary operator in the contract

src/codeGenerators/contract/solidity/toContract.ts

@@ -194,6 +194,9 @@ function codeGenerator(node: any) {
       return `${codeGenerator(node.expression)}(${codeGenerator(node.arguments)})`;
 
     case 'UnaryOperation':
+      if (node.operator === '!'){
+        return `${node.operator}${codeGenerator(node.subExpression)}`;
+      }
       return `${codeGenerator(node.subExpression)} ${node.operator};`;
 
     case 'EmitStatement':

test/contracts/Booleans-public.zol

@@ -0,0 +1,39 @@
+// 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;
+    }
+}
+
+
+}