Commit 2e97e9cf authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[lib] Tests: CLUnfolder: solution3: Fix invariant dimacs e2a608cc; test second part of init forward

parent 981fe056
......@@ -826,10 +826,23 @@ def init_forward_unfolding_solution_3(mcla):
assert unfolder.initial_constraints == [[-1], [-2], [-3], [-8], [-10], [-11], [-13], [-15], [13]]
# Just append DIMACS constraints of the query: "L" + [[12]]
assert unfolder.invariant_constraints == [[[12]], [[12]]]
assert unfolder.invariant_constraints == [[[12], [12]]]
# Idem: "C and K" + "C" = [3, -47], [11, -47], [-3, -11, 47], [47] + [3]
assert unfolder.final_constraints == [[3, -47], [11, -47], [-3, -11, 47], [47], [3]]
## Shift constraints #######################################################
init_forward_unfolding_part_2(unfolder)
print("initial_constraints:", unfolder.initial_constraints)
print("invariant_constraints:", unfolder.invariant_constraints)
print("final_constraints:", unfolder.final_constraints)
# Shift values by adding 47
assert unfolder.invariant_constraints == [[[12], [12]], [[59], [59]]]
assert unfolder.final_constraints == [[50, -94], [58, -94], [-50, -58, 94], [94], [50]]
def init_forward_unfolding_solution_4(mcla):
"""
......
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