Related to issue #570 the solution is not copied if the path to the parameter file contains a '/'. Expanding on my post-closing comment on that issue:
Current head has a solution copying problem if one specifies a pathname for a parameter file that includes a directory separator.
conjure solve tmp/test.essence tmp/test.param
fails to copy the solution file, whereas
conjure solve tmp/test1.essence
works fine, with an unparameterised spec.
Specifically, with:
given a : int(1..)
find b : bool
such that b = (a < 100)
Related to issue #570 the solution is not copied if the path to the parameter file contains a '/'. Expanding on my post-closing comment on that issue:
Current head has a solution copying problem if one specifies a pathname for a parameter file that includes a directory separator.
conjure solve tmp/test.essence tmp/test.param
fails to copy the solution file, whereasconjure solve tmp/test1.essence
works fine, with an unparameterised spec.Specifically, with:
and a parameter file
we get
while with
we get