Fix modadd_component.py tests.

Crypto-TII · May 21, 2024 · e8257ae · e8257ae
1 parent 83ae9f3
commit e8257ae
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/claasp/components/modadd_component.py b/claasp/components/modadd_component.py
@@ -328,9 +328,9 @@ def sat_constraints(self):
             sage: speck = SpeckBlockCipher(number_of_rounds=3)
             sage: modadd_component = speck.component_from(0, 1)
             sage: modadd_component.sat_constraints()
-            (['carry_modadd_0_1_0',
-              'carry_modadd_0_1_1',
-              'carry_modadd_0_1_2',
+            (['carry_0_modadd_0_1_0',
+              'carry_0_modadd_0_1_1',
+              'carry_0_modadd_0_1_2',
               ...
               'modadd_0_1_15 -rot_0_0_15 plaintext_31',
               'modadd_0_1_15 rot_0_0_15 -plaintext_31',