Commit cdac13c0 authored by VIGNET Pierre's avatar VIGNET Pierre

[lib] Tests: CLU: fix typos

parent e2d0fcea
......@@ -559,7 +559,8 @@ def test_init_forward_unfolding_solution_2_dimacs(feed_mclanalyser, numeric_prop
### DIMACS properties
# "C and K" property requires an auxiliary literal which can only be added
# from the textual version of this property.
# Adding new literals in dimacs form is currently not allowed.
# Adding new literals in dimacs form is currently not allowed
# (without the argument check_query=False of init_with_query).
query = MCLSimpleQuery(None, None, None)
query.dim_start, query.dim_inv, query.dim_final = numeric_properties[1]
# Exception is expected
......
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