diff --git a/library/cadbiom/models/clause_constraints/mcl/TestMCLAnalyser.py b/library/cadbiom/models/clause_constraints/mcl/TestMCLAnalyser.py index 85bf78f8a1da858e9590adf6054bd9525cbbe613..95ead056010aa1da5599013cd1f0a2781f3f1959 100644 --- a/library/cadbiom/models/clause_constraints/mcl/TestMCLAnalyser.py +++ b/library/cadbiom/models/clause_constraints/mcl/TestMCLAnalyser.py @@ -430,7 +430,11 @@ class TestMCLAnaLyzer(unittest.TestCase): query = MCLSimpleQuery(st_prop, inv_prop, f_prop) lsol = mcla.sq_solutions(query, 4, 1, mcla.unfolder.frontier_values) ufl = lsol[0].unflatten() - expected_ufl = [[-1, -2, 3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 13, 14, -15, 16], [-1, -2, -3, -4, -5, -6, -7, -8, 9, -10, -11, 12, -13, -14, -15, -16], [-1, -2, -3, -4, -5, -6, -7, -8, -9, 10, 11, 12, -13, -14, 15, -16]] + expected_ufl = [ + [-1, -2, 3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 13, 14, -15, 16], + [-1, -2, -3, -4, -5, -6, -7, -8, 9, -10, -11, 12, -13, -14, -15, -16], + [-1, -2, -3, -4, -5, -6, -7, -8, -9, 10, 11, 12, -13, -14, 15, -16] + ] res = lit_sol_equal(expected_ufl, ufl) self.assert_(res, 'Error unflatten')