From e06268eab832fd7dcd3b83b55a723c5e8d69488f Mon Sep 17 00:00:00 2001
From: VIGNET Pierre <pierre.vignet@irisa.fr>
Date: Fri, 13 Dec 2019 03:24:53 +0100
Subject: [PATCH] [lib] Tests: fix typos
---
.../models/clause_constraints/mcl/TestMCLAnalyser.py | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/library/cadbiom/models/clause_constraints/mcl/TestMCLAnalyser.py b/library/cadbiom/models/clause_constraints/mcl/TestMCLAnalyser.py
index 85bf78f..95ead05 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')
--
GitLab