Commit f85ea0df authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[lib] Test test_init_forward? Osef Bioinformatics = empty tests

parent 50f04096
......@@ -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
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
# Dommage...
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment