From f85ea0dff3e8ab6255498d193aaf43e318f5e2f3 Mon Sep 17 00:00:00 2001
From: VIGNET Pierre <pierre.vignet@irisa.fr>
Date: Thu, 21 Nov 2019 04:55:13 +0100
Subject: [PATCH] [lib] Test test_init_forward? Osef Bioinformatics = empty
tests
---
.../clause_constraints/mcl/TestCLUnfolder.py | 14 +-------------
1 file changed, 1 insertion(+), 13 deletions(-)
diff --git a/library/cadbiom/models/clause_constraints/mcl/TestCLUnfolder.py b/library/cadbiom/models/clause_constraints/mcl/TestCLUnfolder.py
index a335fa3..ea729b5 100644
--- a/library/cadbiom/models/clause_constraints/mcl/TestCLUnfolder.py
+++ b/library/cadbiom/models/clause_constraints/mcl/TestCLUnfolder.py
@@ -73,19 +73,6 @@ def string_to_clause(text_clause):
clause.add_lit(Literal(spl[1], False))
return clause
-def num_clause_equal(clause_1, clause_2):
- """
- test DIMACS clauses for equality
- """
- if len(clause_1) != len(clause_2):
- return False
- clause_1.sort()
- clause_2.sort()
- for i in range(len(clause_1)):
- if clause_1[i] != clause_2[i]:
- return False
- return True
-
def model1():
"""
A simple ChartModel with two nodes and a transition
@@ -300,6 +287,7 @@ class TestCLUnfolder(unittest.TestCase):
test forward initialization for various models and property
"""
pass
+ # Dommage...
--
GitLab