Remove test in PublicVariable

EYBlockchain · Jul 12, 2024 · 0291c98 · 0291c98
1 parent 7724c84
commit 0291c98
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 26 deletions.
diff --git a/src/transformers/visitors/toCircuitVisitor.ts b/src/transformers/visitors/toCircuitVisitor.ts
@@ -68,22 +68,7 @@ const publicVariables = (path: NodePath, state: any, IDnode: any) => {
 
   // If there is a statment where a secret variable interacts with a public one, we need to adjust previous statements where the public variable was modified.
 
-  // New test starts from here
-
-  const interactsWithSecret = node.interactsWithSecret || node.baseExpression?.interactsWithSecret;
-  const interactsWithPublic = node.interactsWithPublic || node.baseExpression?.interactsWithPublic;
-
-  // Journalisation pour le débogage
-  console.log(`Node: ${node.name}, interactsWithSecret: ${interactsWithSecret}, interactsWithPublic: ${interactsWithPublic}`);
-
-  // Traiter seulement si la variable interagit avec les variables secrètes et publiques
-  // if (
-  //   binding instanceof VariableBinding &&
-  //   interactsWithSecret &&
-  //   interactsWithPublic &&
-  //   binding.stateVariable && !binding.isSecret
-  // ) 
-
+
   if (
     binding instanceof VariableBinding &&
     (node.interactsWithSecret || node.baseExpression?.interactsWithSecret) &&
@@ -941,16 +926,6 @@ const visitor = {
         if (!lhs) lhs = node.expression.subExpression;
         const referencedIndicator = scope.getReferencedIndicator(lhs, true);
 
-        // if (expression.nodeType === 'UnaryOperation') {
-        //   const { operator, subExpression } = expression;
-        //   if ((operator === '++' || operator === '--') && subExpression.nodeType === 'Identifier') {
-        //     const referencedIndicator = scope.getReferencedIndicator(subExpression);
-        //     if (referencedIndicator?.interactsWithSecret) {
-        //       state.thisState.interactsWithSecretInScope = true;
-        //     }
-        //   }
-        // }
-
         const name = referencedIndicator?.isMapping
           ? referencedIndicator.name
               .replace('[', '_')

diff --git a/test/contracts/c-circuit.zol b/test/contracts/c-circuit.zol
@@ -10,6 +10,7 @@ uint256 public c;
 function addB( uint256 value) public {
 c += value;
 known a += value;
+c= c+1;
 }
 
 }