pylint: disable=E1101

SRI-CSL · Dec 18, 2024 · f7dd417 · f7dd417
1 parent 404d7e2
commit f7dd417
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/yices/Context.py b/yices/Context.py
@@ -140,7 +140,7 @@ def check_context_with_model_and_hint(self, params, model, python_array_or_tuple
         alist = list(python_array_or_tuple) + list(python_array_or_tuple_hints)
         alen = len(alist)
         a = yapi.make_term_array(alist)
-        status = yapi.yices_check_context_with_model_and_hint(self.context, params, model.model, alen, a, m)
+        status = yapi.yices_check_context_with_model_and_hint(self.context, params, model.model, alen, a, m) # pylint: disable=E1101
         if status == Status.ERROR:
             raise YicesException('check_context_with_model_and_hint')
         return status
@@ -150,7 +150,7 @@ def mcsat_set_fixed_var_order(self, python_array_or_tuple):
         assert self.context is not None
         alen = len(python_array_or_tuple)
         a = yapi.make_term_array(python_array_or_tuple)
-        status = yapi.yices_mcsat_set_fixed_var_order(self.context, alen, a)
+        status = yapi.yices_mcsat_set_fixed_var_order(self.context, alen, a) # pylint: disable=E1101
         if status == Status.ERROR:
             raise YicesException('mcsat_set_fixed_var_order')
         return status
@@ -159,7 +159,7 @@ def mcsat_set_initial_var_order(self, python_array_or_tuple):
         assert self.context is not None
         alen = len(python_array_or_tuple)
         a = yapi.make_term_array(python_array_or_tuple)
-        status = yapi.yices_mcsat_set_initial_var_order(self.context, alen, a)
+        status = yapi.yices_mcsat_set_initial_var_order(self.context, alen, a) # pylint: disable=E1101
         if status == Status.ERROR:
             raise YicesException('mcsat_set_initial_var_order')
         return status