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

[lib] Test: separation of sol1 text/dimacs => easier to debug

parent 25bca7e8
......@@ -485,10 +485,10 @@ def test_init_unfolder(feed_mclanalyser):
# Not frontiers: A B C H J K M P
found = unfolder.no_frontier_values
print("Places that are not frontiers", found)
assert found == [[-1], [-2], [-3], [-8], [-10], [-11], [-13], [-15]]
assert found == {1, 2, 3, 8, 10, 11, 13, 15}
def test_init_forward_unfolding_solution_1(feed_mclanalyser, textual_properties, numeric_properties):
def test_init_forward_unfolding_solution_1_text(feed_mclanalyser, textual_properties):
"""
Query:
start, invariant, final: ("M", "L", "C")
......@@ -508,6 +508,15 @@ def test_init_forward_unfolding_solution_1(feed_mclanalyser, textual_properties,
assert solutions == ()
def test_init_forward_unfolding_solution_1_dimacs(feed_mclanalyser, numeric_properties):
"""
Query:
dim_start, dim_inv, dim_final = [[13]], [[12]], [[3]]
DIMACS equiv of: start, invariant, final: ("M", "L", "C"):
No solution (because inhibitor M is activated)
"""
mcla = feed_mclanalyser
### DIMACS properties
query = MCLSimpleQuery(None, None, None)
# [[13]], [[12]], [[3]]
......
Markdown is supported
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