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

[lib] CLUnfolder: Fix error during the init of __invariant_constraints

When there are __dimacs_invariant AND __invariant_property from the query.
Do not forget that invariant property is composed of 1 item (list) PER STEP and that the query give only the FIRST STEP.
parent 56b0923f
......@@ -1265,7 +1265,11 @@ class CLUnfolder(object):
if self.__dimacs_invariant:
# Add DIMACS aux clauses initial properties
self.__invariant_constraints.append(self.__dimacs_invariant)
if self.__invariant_constraints:
# Merge initial state
self.__invariant_constraints[0].append(self.__dimacs_invariant[0])
else:
self.__invariant_constraints.append(self.__dimacs_invariant)
def __init_variant_constraints_0(self):
"""Code variant constraints in a numerical clause.
......
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