From 9e13b568e7a5b3f031ed866635768c7f757a0154 Mon Sep 17 00:00:00 2001 From: Antonio Rojas Date: Sat, 6 Apr 2024 14:28:59 +0200 Subject: [PATCH] Fix tests with Python 3.12 The `AssertNotEquals` alias has been removed --- python/tests/test_pycryptosat.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/python/tests/test_pycryptosat.py b/python/tests/test_pycryptosat.py index 850769ddb..a59e659a6 100644 --- a/python/tests/test_pycryptosat.py +++ b/python/tests/test_pycryptosat.py @@ -176,7 +176,7 @@ def test_one_dump(self): self.solver.start_getting_small_clauses(4, max_glue=10) x = self.solver.get_next_small_clause() - self.assertNotEquals(x, None) + self.assertNotEqual(x, None) self.solver.end_getting_small_clauses()