MAJ terminée. Nous sommes passés en version 14.6.2 . Pour consulter les "releases notes" associées c'est ici :

https://about.gitlab.com/releases/2022/01/11/security-release-gitlab-14-6-2-released/
https://about.gitlab.com/releases/2022/01/04/gitlab-14-6-1-released/

Commit 00d19d38 authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

Fix typos; debug

parent b8550cfb
......@@ -154,13 +154,15 @@ def main2(chart_file, cam_file, cam_step_file, cam_complete_file, cam_strong_fil
# Frontier places asked
previous_frontier_places = set()
current_start_prop = start_prop
# i = 0
# with PyCallGraph(output=GraphvizOutput()):
while True:
print("START PROP:", current_start_prop)
ret = \
find_mac(mcla,
cam_file, cam_step_file, cam_complete_file,
steps, final_prop, start_prop, inv_prop)
steps, final_prop, current_start_prop, inv_prop)
# EXIT
# i += 1
# if i == 3:
......@@ -178,8 +180,8 @@ def main2(chart_file, cam_file, cam_step_file, cam_complete_file, cam_strong_fil
str(previous_frontier_places))
# Compute the formula of the next start_property
start_prop = make_logical_formula(previous_frontier_places,
start_prop)
current_start_prop = make_logical_formula(previous_frontier_places,
start_prop)
# If all_macs flag is not set (to True),
# search allways macs with less or equal steps than previous,
......@@ -191,7 +193,10 @@ def main2(chart_file, cam_file, cam_step_file, cam_complete_file, cam_strong_fil
LOGGER.debug(
final_prop +
":: Next start_prop formula: {} in {} steps".format(start_prop, steps)
":: Next start_prop formula: {} in {} steps".format(
current_start_prop,
steps
)
)
......
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