Mentions légales du service

Skip to content
Snippets Groups Projects
Commit e06268ea authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[lib] Tests: fix typos

parent ef3607ca
No related branches found
No related tags found
No related merge requests found
......@@ -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')
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment