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 bb1917f8 authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

__msolve_constraints() : Proper debugging & efficient comprehension list

parent 8fdb0d23
......@@ -933,23 +933,22 @@ class CLUnfolder(object):
"""
solver = CryptoMS()
self.__load_solver(solver)
if LOGGER.getEffectiveLevel() == DEBUG:
LOGGER.debug("__msolve_constraints :: vvars : " + str(vvars))
LOGGER.debug("__msolve_constraints :: max_sol : " + str(max_sol))
if self.__stats:
if solver.nb_vars() > self.__nb_vars:
self.__nb_vars = solver.nb_vars()
if solver.nb_clauses() > self.__nb_clauses:
self.__nb_clauses = solver.nb_clauses()
lintsol = solver.msolve_selected(max_sol, vvars)
if LOGGER.getEffectiveLevel() == DEBUG:
LOGGER.debug("__msolve_constraints :: vvars : " + str(vvars))
LOGGER.debug("__msolve_constraints :: max_sol : " + str(max_sol))
lintsol = solver.msolve_selected(max_sol, vvars)
LOGGER.debug("__msolve_constraints :: lintsol : " + str(lintsol))
lsol = []
for solint in lintsol:
sol = RawSolution(solint, self)
lsol.append(sol)
return lsol
return [RawSolution(solint, self) for solint in lintsol]
return [RawSolution(solint, self)
for solint in solver.msolve_selected(max_sol, vvars)]
# dynamic properties
def squery_is_satisfied(self, max_step):
......
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