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

[lib] MCLAnalyser: Do not check query in the unfolder: safe zone

parent e6a72df6
......@@ -168,7 +168,7 @@ sq_solutions(query, max_step, max_sol, vvars)
Return <list <RawSolution>>
This function calls:
self.unfolder.init_with_query(query)
self.unfolder.init_with_query(query, check_query=False)
self.unfolder.squery_solve(vvars, max_step, max_sol)
......@@ -490,7 +490,7 @@ class MCLAnalyser(object):
# Following properties are used from the query:
# start_prop, dim_start, inv_prop, dim_inv, final_prop, dim_final,
# variant_prop, dim_variant_prop, steps_before_check
self.unfolder.init_with_query(query)
self.unfolder.init_with_query(query, check_query=False)
# go
return self.unfolder.squery_is_satisfied(max_step)
......@@ -557,7 +557,7 @@ class MCLAnalyser(object):
# Following properties are used from the query:
# start_prop, dim_start, inv_prop, dim_inv, final_prop, dim_final,
# variant_prop, dim_variant_prop, steps_before_check
self.unfolder.init_with_query(query)
self.unfolder.init_with_query(query, check_query=False)
# go
return self.unfolder.squery_solve(vvars, max_step, max_sol)
......
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